Agda.TypeChecking.Errors
prettyError
tcErrString
data
Warnings
warningsToError