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