TcCanonical

canonicalize

unifyDerived

makeSuperClasses

data StopOrContinue a

stopWith

continueWith