Control.Category.Monoidal

type family Id k p :: *

class Monoidal k p

class Comonoidal k p