Control.MFunctor
Monads over functors
class
MFunctor
t