Implement union types Gen
instance derivation
#9723
+144
−0
Merged