anchor.diff:              | prms -> yield prop.Name, fun o -> AppliedIndexedProperty(o, [prop])
           for (name, methods) in methodCollections do 
               yield name, fun o -> let mis = methods |> Seq.toList in InvokableExpr <| AppliedMethod(o, mis) 
  -        //for field in fields do yield field.Name, fieldToExpr field
       }     
   
   let rec inline convertSequence seq1 seq2 = 
  
positive.code:                             |> Seq.map (snd) |> Seq.toArray
                          let realType = rtype.MakeGenericType(resolvedGenerics)
                          Activator.CreateInstance(realType, args) |> Obj |> Some
  //            ctor.GetParameters()         
          | manyctor -> failwith (sprintf "Type constructor was ambiguous: %s" rtypename)
      | rtype :: [] -> 
          let paramTypes = args |> Array.map (fun p -> p.GetType())
  
negative.code:                             yield AppliedIndexedProperty(null, pi)
              yield! tryGetEnum rtype memberName |> Option.map Obj |> Option.toArray
          ]
      | manytype -> failwith (sprintf "Type name was ambiguous: %s" rtypename) 
  
  // Note: may not properly fail if types are loaded later, but I'm willing to sacrifice this for now in the name of complexity reduction
  