Idris.DSL

debindApp

desugar

expandDo

var

unIdiom

debind