Control.Category.Associative
class
Associative
k p
class
Coassociative
k s