TcErrors

reportUnsolved

warnDefaulting

unifyCtxt

flattenForAllErrorTcS

solverDepthErrorTcS