TcCanonical
canonicalize
unifyDerived
makeSuperClasses
maybeSym
data StopOrContinue a
stopWith
continueWith