module GHC.Tc.Types.Evidence (module TcEvidence) where
import TcEvidence