[Haskell-cafe] Monads as control structures?