Control.Category.Braided

class Braided k p

class Symmetric k p

swap