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