[Haskell-cafe] Monads for Incremental computing