((fun x -> x) (1))