Unbound.Generics.LocallyNameless.Fresh
class Fresh m
data FreshMT m a
runFreshMT
contFreshMT
type FreshM
runFreshM
contFreshM