Control.Monad.Categorical
class
CMonad
m (~>)
class
CBind
m (~>)
class
CPointed
m (~>)