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