withUniqueT :: Monad m => UniqueT m a -> m a
withUniqueT (UniqueT u) = evalStateT u 0
withUniqueT :: Monad m => UniqueT m a -> m a
withUniqueT (UniqueT u) = evalStateT u 0
withUniqueT (UniqueT u) = evalStateT u 0