y = fn f ->
  fn x ->
    f.(fn y -> (x.(x)).(y) end)
  end.(fn x ->
    f.(fn y -> (x.(x)).(y) end)
  end)
end