Data.Category.Monoidal
class TensorProduct f
data MonoidObject f a
trivialMonoid
coproductMonoid
data ComonoidObject f a
trivialComonoid
productComonoid
data MonoidAsCategory f m a b
type Monad f
mkMonad
monadFunctor
type Comonad f
mkComonad
adjunctionMonad
adjunctionComonad