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

That’s a really well thought and well presented language extension! I’m also not sure about the syntax as others pointed out but the general idea would be very much welcomed in my opinion.