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