[Haskell-cafe] name for monad-like structure?