Control.Category.Associative

class Associative k p

class Disassociative k s