withUnique :: Unique a -> a
withUnique (Unique u) = runIdentity $ withUniqueT u
withUnique :: Unique a -> a
withUnique (Unique u) = runIdentity $ withUniqueT u
withUnique (Unique u) = runIdentity $ withUniqueT u