Control.MFunctor
Functors over Monads
class
MFunctor
t
hoistK
raise
raiseK