[Haskell-cafe] name of this monadic combinator?