Syntactic precedence

Keywords that introduce blocks bind more tightly thanfunction application.Sof let xis the same asf (let x)andf if b then p else qis the same asf (if b then p else q).

Block keywords bind more tightly thandelayed computationssyntax. So'let x''is the same as_ -> let xand!if b then p else qis the same as(if b then p else q) ().

Blocks eagerly consume expressions, soif b then p else q + ris the same asif b then p else (q + r).