From pr (Quick scan seems to have been removed/replaced.)
+Since accessing union fields reliably requires extra knowledge, traits trying to
+do it (e.g. PartialEq) cannot be derived automatically.
I want to create a derive to guarantee that all union fields implement a specific trait.
Such derives are safe for any unions because their fields are not accessed at run-time.