Agda.Syntax.Concrete.Pretty
pHidden
pRelevance
showString'
showChar'
smashTel