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