Control.Category.Braided
class Braided k p
class Symmetric k p