handleParams (DVar id1 ty:tc) (EVar id2:te) env = do {
    loc <- getLoc id2;
    new_env <- return $ M.insert id1 loc env;
    handleParams tc te new_env;
}
handleParams (DVar id1 ty:tc) (EVar id2:te) env = do {
    loc <- getLoc id2;
    new_env <- return $ M.insert id1 loc env;
    handleParams tc te new_env;
}
handleParams (DVar id1 ty:tc) (EVar id2:te) env = do {
    loc <- getLoc id2;
    new_env <- return $ M.insert id1 loc env;
    handleParams tc te new_env;
}