Data.Comp.Multi.Desugar
class
Desugar
f g
desugar
desugarA