Re[2]: [Haskell-cafe] AT solution: rebinding >>= for restricted monads