Y := [:f| [:x| (f value: (Y value: f)) value: x] ].