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