This is pretty cool. I'm wondering if the type provider feature will eventually carry over to C# as well. I wonder what that would mean for something like Entity Framework.