Data.Semifunctor.Braided
class
Braided
k p
kleisliBraid
cokleisliBraid
class
Symmetric
k p
swap