id x = x;

add x y = x + y;

double n = n + n;

apply f x = \y -> f x y;

main = apply (id add) ((\x. x + 1) 1) (double 3);