anchor.diff:  }
   
   module TypeCompiler =
  +    open System.Collections.Generic
   
       let private optionType = typedefof<option<obj>>
   
  
positive.code:                 "ID", NativeType typeof<string>
                  "__Schema", NativeType typeof<IntrospectionSchema>
                  "__Type", NativeType typeof<IntrospectionTypeRef> ]
          member x.GetKnownType (t: IntrospectionTypeRef): Type =
              match t.Name with
              | Some name when x.KnownTypes.ContainsKey name && x.KnownTypes.[name].UnderlyingType <> null ->
                  x.KnownTypes.[name].UnderlyingType
              | _ -> typeof<obj>
              // TODO
  //            let rec receiveType nullable t (types) : Type =
  //                match t.Kind with
  //                | TypeKind.NON_NULL ->
  //                    receiveType false t.OfType.Value types
  //                | TypeKind.LIST -> 
  //                    let ofType = receiveType true t.OfType.Value types
  //                    ofType.MakeArrayType()
  //                | other when nullable -> 
  //                    optionType.MakeGenericType [| receiveType false t.OfType.Value types |]
  //                | other -> receiveType false t.OfType.Value types
  //            receiveType true t x.KnownTypes
  
      let genProperty (ctx: ProviderSessionContext) (t: IntrospectionType) ifield =
          let p = ProvidedProperty(ifield.Name, ctx.GetKnownType ifield.Type, IsStatic = false) // TODO: IsStatic = true?
          if t.Description.IsSome then p.AddXmlDoc(t.Description.Value)
          p.GetterCode <- fun args -> <@@ "Placeholder" :> obj @@>
          p
  
      let genParam (ctx: ProviderSessionContext) (t: IntrospectionType) (iarg: IntrospectionInputVal) =
  
negative.code:         itype.Fields.Value
          |> Array.map (fun field ->
              if field.Args.Length = 0
              then (genProperty ctx field) :> MemberInfo
              else upcast genMethod ctx itype field)
          |> Array.toList
          |> t.AddMembers
  