monad-supply (hackage): Support for computations which consume values from a (possibly infinite) supply.
Keywords: control|data|library|monad