anchor.diff:                              GetterCode = conv (fun arg -> <@@ (%%arg : RegionCollection<Region>)._GetRegion(code) @@>)) 
                       prop.AddXmlDoc (sprintf "The data for region '%s'" name)
                       yield prop ])
  +            serviceTypesType.AddMember t
               t
     
           let worldBankDataServiceType =
  
positive.code:         let resTy = ProvidedTypeDefinition(asm, ns, worldBankTypeName, baseType=Some typeof<obj>, HideObjectMethods=true)
  
          let conv (expr:Expr->Expr) (args:Expr list) = let arg0 = replacer.ToDesignTime args.[0] in replacer.ToRuntime (expr arg0)
          let coerce typ expr arg = Quotations.Expr.Coerce (expr arg, typ)
  
          let indicatorsType =
              let t = ProvidedTypeDefinition("Indicators", baseType=Some (replacer.ToRuntime typeof<Indicators>), HideObjectMethods=true)
  
negative.code:                               GetterCode = conv (fun arg -> <@@ (%%arg : Country)._GetIndicators() @@>))
                    prop.AddXmlDoc("<summary>The indicators for the country</summary>")
                    yield prop ] )
              serviceTypesType.AddMember t
              t
  
          let countriesType =
              let countryCollectionType = ProvidedTypeBuilder.MakeGenericType(replacer.ToRuntime typedefof<CountryCollection<_>>, [ countryType ])
              let t = ProvidedTypeDefinition("Countries", baseType=Some countryCollectionType, HideObjectMethods=true)
              t.AddMembersDelayed (fun () -> 
                  [ for country in connection.Countries do
  