It would be nice to refactor the existing code base into XML specific Type Provider code and code that applies to all Type Providers. This would allow others to reuse a pattern to construct their own Type Providers to handle any data they'd like. This will likely be a lot of work, but should be very valuable to the language as a whole.