Data.Semifunctor.Associative
class Associative k p
kleisliAssociate
class Disassociative k p
kleisliDisassociate