TcErrors
reportUnsolved
warnDefaulting
unifyCtxt
flattenForAllErrorTcS
solverDepthErrorTcS