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