----------------------------------------------------------------------

freshR :: Fresh m => String -> m Nom
freshR = fresh . s2n
freshR :: Fresh m => String -> m Nom
freshR = fresh . s2n
freshR = fresh . s2n