Agda.Compiler.Epic.Smashing
defnPars
smash'em
(+++)
inferable
inferableTerm
smashable
buildLambda