GHC.Tc.Solver.Interact
solveSimpleGivens :: [Ct] -> TcS () #
solveSimpleWanteds :: Cts -> TcS WantedConstraints #