TcCanonical

canonicalize

canOccursCheck

canEq

canEvVar

rewriteWithFunDeps

emitFDWorkAsDerived

emitFDWorkAsWanted

data StopOrContinue