Agda.TypeChecking.Errors
class PrettyTCM a