Seems a lot like FSharp Type Providers? Is that a good analogy?