GHC.Corroborate.Wrap
newUnique :: TcPluginM Unique #
newWantedCt :: CtLoc -> PredType -> TcPluginM Ct Source #
newGivenCt :: CtLoc -> PredType -> EvTerm -> TcPluginM Ct Source #