module GHC.Corroborate.Constraint (module TcPluginM) where

import TcPluginM (newGiven)