This has a massive impact on the language semantics, and should not be decided lightly - it strongly pushes it towards nested statements, rather than imperative steps with a result. Not as clear a distinction as pure functional vs. imperative, but with much of the same design baggage.