Type provider to statically expose reflection information. E.g. verified at compile time and intellisense enabled Methods.System.Console.``WriteLine : string -> unit`` rather than verified at runtime typeof<System.Console>.GetMethod("WriteLine", [| typeof<string> |])