ghc-7.8.3: The GHC API
TcInteract
solveInteractGiven :: CtLoc -> [TcTyVar] -> [EvVar] -> TcS (Bool, [TcTyVar])
solveInteract :: Cts -> TcS (Bag Implication)