Control.Category.Associative

class Associative k p