To be fair, many modern C# features have started their life in MSR languages and eventually found their way to C#.

It is also where F# started, although they seem not yet to know where to push it, or if it was a good idea to actually box it in VS 2010.

Verona is less interesting in the language that I expect to make it into the world sense and more they may learn things while exploring safety that can be applied by someone else. Rust does a lot of good with exploring the safety space, but I hope we don't simply let that be the end of any exploration of building safety into the language at a deep level.