liftPass :: Monad m => Pass w m (a,Int) -> Pass w (UniqueT m) a
liftPass pass = UniqueT . State.liftPass pass . runUniqueT
liftPass :: Monad m => Pass w m (a,Int) -> Pass w (UniqueT m) a
liftPass pass = UniqueT . State.liftPass pass . runUniqueT
liftPass pass = UniqueT . State.liftPass pass . runUniqueT