Control.Functor.Categorical
class CFunctor f r s
class CPointed m (~>)
class CCopointed w (~>)
class CBind m (~>)
class CExtend w (~>)
class CDistributes f g (~>)
class CMonad m (~>)
class CComonad m (~>)