D and C# share some similarities and I found this an interesting C# proposal, which we can use to see if our current plans are the best or if they improved something. https://github.com/dotnet/csharplang/blob/18a527bcc1f0bdaf542d8b9a189c50068615b439/proposals/TypeUnions.md