updateTag :: (a -> c) -> (a -> c) -> UpdateTag a -> c
updateTag clean dirty = \case
    Clean a -> clean a
    Dirty a -> dirty a
updateTag :: (a -> c) -> (a -> c) -> UpdateTag a -> c
updateTag clean dirty = \case
    Clean a -> clean a
    Dirty a -> dirty a
updateTag clean dirty = \case
    Clean a -> clean a
    Dirty a -> dirty a