TcCanonical

canonicalize

unifyDerived

data StopOrContinue a

stopWith

continueWith