taggedA :: (Applicative f)
        => (a -> f b)
        -> (t -> a -> f b)
        -> Tagged t a
        -> f [b]
taggedA f g = sequenceA . tagged f g
taggedA :: (Applicative f)
        => (a -> f b)
        -> (t -> a -> f b)
        -> Tagged t a
        -> f [b]
taggedA f g = sequenceA . tagged f g
taggedA f g = sequenceA . tagged f g