ghc-7.10.1.20150612: The GHC API
TcInteract
solveSimpleGivens :: CtLoc -> [EvVar] -> TcS ()
solveSimpleWanteds :: Cts -> TcS WantedConstraints