Control.Monad.Freer.Fresh
data
Fresh
v
fresh
runFresh'