Smarter union

[Xyncgas]

Currently :

type MyUnion<'T1, 'T2> =
| A of TA : TA
| B of B : TB<'T1, 'T2>

And can not reasonably omit (<'T1, 'T2>) in 'MyUnion<'T1, 'T2>'
And MyUnion<'T1, 'T2> seq can contain only types of MyUnion<'T1, 'T2> with identical <'T1, 'T2> which seems beating the purpose of 'union'

Magically :

type MyUnion =
| A of TA : TA
| B of B : TB<'T1, 'T2>

and

   //Psuedo codes
   for instance in Seq<MyUnion> do
       match instance with
       | A theObject -> ()
       | B theObject -> () //magic -> theObject : TB<string, string> or for example TB<'SpecificType1, `SpecificType2>

Without reflection somehow