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