[Haskell-cafe] Lambda abstraction analogous to imperative pseudo-code?