anchor.diff:                              let name = getOverloadName name (Index(fixedP, fixedR))
                               sprintf "%s with get(i : %s) : %s = failwith \"never\" and set (i : %s) (v : %s) : unit = failwith \"never\"" name pCode rCode pCode rCode,
                               None
  +                        | FunWrapper ->
  +                            let n = List.length gps
  +                            let tpar (TypeRef([s],ts)) = s
  +                            let gparams = gps |> List.map (fixGenericParameterName >> tpar)
  +                            let args = Seq.take (n-2) gparams |> Seq.map (sprintf "%s -> ") |> String.concat ""
  +                            sprintf "Create(f: %s%s array -> %s) : %s = failwith \"never\"" 
  +                                args 
  +                                (List.nth gparams (n-2)) 
  +                                (List.nth gparams (n-1)) 
  +                                (Option.get signature),
  +                            None
                       let root =
                           match s with
                           | Static -> "static member "
  
positive.code:                             sprintf "%s(%s)" fullAccess parameterCode
                          | Index _ ->
                              sprintf "%s[{%i}]" fullAccess seedI
                      let getOverloadName specializedName memberElement =
                          let memberElementKey =
                              match memberElement with
                              | Property _ | Index _ -> memberElement
                              | Method(gps, gcs, ps, r) ->
                                  let requiredParameters =
                                      ps |> List.choose (function
  
negative.code:         | Method of GenericParameter list * GenericConstraint list * FFIMemberParameter list * ReturnType
          | Index of ParameterType * ReturnType
          | Property of ReturnType
          | FunWrapper
  
      type FFIPropertyName =
          | Invoker
  