Control.Category.Monoidal
class
HasIdentity
k p i
class
Monoidal
k p i
class
Comonoidal
k p i