Control.Category.Associative
class
Associative
k p