Idea: Extensible Union types and benefits they bring for real world Elm code

[evancz]

I’ll have to step out of the discussion for now. I’d need to see typing rules specific to this idea to be able to engage further.