TcErrors

reportUnsolved

reportUnsolvedDeriv

reportUnsolvedWantedEvVars

warnDefaulting

unifyCtxt

typeExtraInfoMsg

flattenForAllErrorTcS

solverDepthErrorTcS