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 (~>)