A slightly related discussion on Type Unions in C# from a week ago: https://news.ycombinator.com/item?id=41183240