-- * Transformations

--liftWeave :: (Weave a (t, a) -> Weave b (s, b)) -> Tagged t a -> Tagged s b
--liftWeave f = Tagged . f . runTagged

-- | Map over all tags. This is a specialization of 'Data.Bifunctor.first'
mapTags :: (t -> u) -> Tagged t a -> Tagged u a
mapTags = Data.Bifunctor.first
mapTags :: (t -> u) -> Tagged t a -> Tagged u a
mapTags = Data.Bifunctor.first
mapTags = Data.Bifunctor.first