Control.Category.Monoidal
type family
Id
k p :: *
class
Monoidal
k p
class
Comonoidal
k p