[a-nikolaev]

A shorter one:

let (+) 2 2 = 5 in 2+2;;