Agda.Utils.Pretty
class Pretty a