tagged :: (a -> b) -> (t -> a -> b) -> Tagged t a -> [b]
tagged f g = flatten . bimap f (uncurry g) . runTagged
tagged :: (a -> b) -> (t -> a -> b) -> Tagged t a -> [b]
tagged f g = flatten . bimap f (uncurry g) . runTagged
tagged f g = flatten . bimap f (uncurry g) . runTagged