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:                             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
                      let root =
                          match s with
                          | Static -> "static member "
  
negative.code:         | Method of GenericParameter list * GenericConstraint list * FFIMemberParameter list * ReturnType
          | Index of ParameterType * ReturnType
          | Property of ReturnType
          | FunWrapper
  
      type FFIPropertyName =
          | Invoker
  