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