monad-supply

Support for computations which consume values from a (possibly infinite) supply.