Control.Monad.Trans.FastFresh
type Fresh
runFresh
evalFresh
execFresh
data FreshT m a
freshT
runFreshT
evalFreshT
execFreshT
type FreshState
nothingUsed
freshIdents
scopeFreshness