unidentify :: Identifiable b a => Identified b a -> b
unidentify (Identified a) = identifier a
unidentify :: Identifiable b a => Identified b a -> b
unidentify (Identified a) = identifier a
unidentify (Identified a) = identifier a