TcCanonical

canonicalize

unifyDerived

makeSuperClasses

maybeSym

data StopOrContinue a

stopWith

continueWith