TcErrors
reportUnsolved
reportUnsolvedDeriv
reportUnsolvedWantedEvVars
warnDefaulting
unifyCtxt
typeExtraInfoMsg
flattenForAllErrorTcS
solverDepthErrorTcS