@Charles: Is there any thoughts towards supporting higher kinds in C# and .NET in the future?