TcCanonical

canonicalize

canOccursCheck

canEq

canEvVar

rewriteWithFunDeps

emitFDWorkAsWanted

emitFDWorkAsDerived

data StopOrContinue