anchor.diff:          
           let meth = Method([], [], nonRest @ [ InlineArray("rest", TypeRef(["Array"], [ List.nth tparams (paramCount - 1) ])) ], List.nth tparams paramCount )
           Member(y, Invoker, NonStatic, meth) |> k
  +        Member(y, Constructor, Static, FunWrapper) |> k
   
           let restTy = match Seq.last rs with 
                           | TypeRef(["Array"], [t]) -> t
  
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
  