let
  x := map x to f(true);
in
  1