Idris.DSL
debindApp
dslify
desugar
mkTTName
expandSugar
var
unIdiom
debind