answer:

(f) => (X) => f(f(X))