[lmm]

How is that any more or less imperative than the standard Haskell syntax:

    let x = a
    y = b
    in (f x y)

? Which in turn is very much like OCaml syntax or plenty of other functional syntaxes.