Re[2]: [Haskell-cafe] Stratified monads