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

idMonad

type Comonad f

mkComonad

idComonad

adjunctionMonad

adjunctionMonadT

adjunctionComonad

adjunctionComonadT