reduceByTag :: (Applicative f) => (t -> f a) -> Tagged t a -> f [a]
reduceByTag f = sequenceA . tagged pure (const . f)
reduceByTag :: (Applicative f) => (t -> f a) -> Tagged t a -> f [a]
reduceByTag f = sequenceA . tagged pure (const . f)
reduceByTag f = sequenceA . tagged pure (const . f)