TcDerivInfer
inferConstraints
simplifyInstanceContexts