Control.Monad.Supply

data SupplyT m a

runSupplyT

evalSupplyT

type Supply

runSupply

evalSupply