reduceByTagM :: (Monad m) => (t -> m a) -> Tagged t a -> m [a]
reduceByTagM f = Prelude.sequence . tagged return (const . f)
reduceByTagM :: (Monad m) => (t -> m a) -> Tagged t a -> m [a]
reduceByTagM f = Prelude.sequence . tagged return (const . f)
reduceByTagM f = Prelude.sequence . tagged return (const . f)