Type Class map ap, pure flatMap Functor ✅ Applicative ✅ ✅ Monad ✅ ✅ ✅ Type Class map ap pure flatMap Functor ✅ Apply ✅ ✅ Applicative ✅ ✅ ✅ FlatMap ✅ ✅ ✅ Monad ✅ ✅ ✅ ✅