-- | Reduce a 'Tagged' to a list by discarding all tags.
discardTags :: Tagged t a -> [a]
discardTags = tagged id (curry snd)
discardTags :: Tagged t a -> [a]
discardTags = tagged id (curry snd)
discardTags = tagged id (curry snd)