Li-Fan Chen
says to
OwO
var Y = (F) => ( (x) => F((y)=> (x(x))(y)))((x) => F( (y) => (x(x))(y)) ) ;