I'm surprised noone has pointed out the new type annotation syntax:
let id : type s. s -> s = fun x -> x
I like that syntax, I think.
I suppose that "id : type s. s -> s = fun x -> x" is a let-binding
and that "id : type s. s -> s" is a pattern,
to produce "id : type s. s -> s”.