TcErrors
reportUnsolved
reportUnsolvedDeriv
reportUnsolvedWantedEvVars
warnDefaulting
unifyCtxt
typeExtraInfoMsg
kindErrorTcS
misMatchErrorTcS
flattenForAllErrorTcS
occursCheckErrorTcS
solverDepthErrorTcS