Evaluation/Env Diagrams

let rec map = fun f -> fun x -> if (x = []) then []
                                else f(head(x)) :: (map f (tail(x)))