Agda.Syntax.Abstract.Pretty
showA
prettyA
prettyAs
showATop
prettyATop