let
  f := map n to if n = 0 then 1; 
in
  f(5)