Transformations

qual

derive

desugar

insertDicts

removeNewtypes

simplify

lift

ilTrans

transType

completeCase