TcCanonical

canonicalize

unifyDerived

makeSuperClasses

mkGivensWithSuperClasses

data StopOrContinue a

stopWith

continueWith