Agda.Auto.Print
printExp
pexp
pid
par
pelr
pargs
printConst
printClause
printPats
printPat
printId