Data.Comp.Desugar

class Desugar f g

desugar

desugarA