type State = String -> Int
empty::State
empty _ = 0
extend :: State -> String -> Int -> State
extend f str number = (\s -> if (s == str) then number else (f s))