Control.Monad.Supply
data
SupplyT
m a
runSupplyT
evalSupplyT
type
Supply
runSupply
evalSupply