import TcPat ( PatCtxt(..), tcPats, tcPat )
import TcMType ( newFlexiTyVarTy, newFlexiTyVarTys )
import TcType ( TcType, TcRhoType,
import TcPat ( PatCtxt(..), tcPats, tcPat )
import TcMType ( newFlexiTyVarTy, newFlexiTyVarTys )
import TcType ( TcType, TcRhoType,