Data.Comp.MultiParam.Desugar

class Desugar f g

desugar

desugarA