Idris.DSL

debindApp

dslify

desugar

mkTTName

expandSugar

var

unIdiom

debind