[Haskell-cafe] ANNOUNCE: monad-levels