+extendSubstList :: Subst -> [(Var,CoreArg)] -> Subst
+extendSubstList subst []
+ = subst
+extendSubstList (Subst in_scope ids tvs) ((tv,Type ty):prs)
+ = ASSERT( isTyVar tv ) extendSubstList (Subst in_scope ids (extendVarEnv tvs tv ty)) prs
+extendSubstList (Subst in_scope ids tvs) ((id,expr):prs)
+ = ASSERT( isId id ) extendSubstList (Subst in_scope (extendVarEnv ids id expr) tvs) prs
+