- | Lift a natural transformation to \"rename\" the nodes in the
-- structure.
hoistNonPure :: (Functor g) => (forall a. f a -> g a) -> NonPure f a -> NonPure g a
hoistNonPure h (NonPure f) = NonPure $ fmap (hoistFree h) $ h f

hoistNonPure :: (Functor g) => (forall a. f a -> g a) -> NonPure f a -> NonPure g a
hoistNonPure h (NonPure f) = NonPure $ fmap (hoistFree h) $ h f
hoistNonPure h (NonPure f) = NonPure $ fmap (hoistFree h) $ h f