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