inserts :: [(VarId,VarId)] -> Env -> Env inserts vvs env = foldr (\(a,b) acc -> M.insert a b acc) env vvs
inserts(vvs, env) { for ((a, b) : vvs) { env = M.insert(a, b, env) } return env }
vvs.reduce(env){|env, (a,b)| M.insert(a, b, env)}