Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
module Data.SUSY public export data Deg = Boson | Fermion export (+): Deg -> Deg -> Deg (+) Boson y = y (+) Fermion Boson = Fermion (+) Fermion Fermion = Boson