Union types without support for a single class app...

# language-proposals

[cbruegg]

Union types without support for a single class appearing twice or more with different generic parameters would be fine with me. I think it would be a useful thing to have union types for tasks that can fail, for example network requests. A runtime container wouldn't be too bad either I think, but I can understand why you wouldn't want to have a language feature people are afraid to use because of performance concerns.