Sure, but Agda already knows how to pretty print terms, so why not exploit the existing machinery? By no means I could write as good pretty printer as Agda already has. Or is it not that straightforward to give access to the meta-level pretty printer?