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