Control.Monad.HigherOrder
class
HFunctor
f
class
HPointed
m
class
HMonad
m
hjoin
(>>**=)
(=**<<)