y = { |f| { |x| f.(x.(x)) }.({ |x| f.(x.(x)) }) };