I wonder if they plan to implement the Spec# features into C# at some point.