Control.Monad.HigherOrder
class HFunctor f
class HPointed m
class HMonad m