-- |@newName n@ returns an unique name with prefix @n@
newName :: (MonadUnique m, Namelike n) => n -> m Name
newName = newNamelike
newName :: (MonadUnique m, Namelike n) => n -> m Name
newName = newNamelike
newName = newNamelike