On Mon, May 16, 2016 at 4:57 AM, Guido van Rossum <email@example.com> wrote:
> unions in Python are always tagged (since you can always introspect the object type).
I suppose that is true at runtime, at least if the pairwise
intersections of the "arguments" of the union are empty as they
usually are. But for a static type checker, the "tag" for the Union
may be missing (which is the thing I was worried about).
> in Haskell as in PEP 484, Sum types and generics are pretty much orthogonal
Although the parametrization provided by generics make TypeVars more
powerful for annotating functions that deal with the equivalent of sum