Control.Monad.Freer.Fresh

data Fresh r

fresh

runFresh

evalFresh