Control.Category.Monoidal

class Monoidal k p