let 
  empty?:=3;
in
  f(empty?)