Control.Category.Monoidal
class
Monoidal
k p