Looking forward to seeing what error handling starts to look like in C# once they have unions. I really like domain errors being checked by the type system.