anchor.diff:                  Let (mk, Call (None, routeItemParsersT, makeLinkM, [routeShape]),
                       Lambda ([action],
                           Conditional (TypeCheck (Var action, targ),
  -                            some (listOf stringT) (Application (Var mk, [Var action], true, Some 1)),
  +                            some (listOf stringT) (Application (Var mk, [Var action], Pure, Some 1)),
                               none (listOf stringT)
                           )
                       )
  
positive.code: //                        t'.GetFields(BF.Instance ||| BF.Public ||| BF.NonPublic)
                          |> Seq.choose (fun (KeyValue(compName, f)) ->
                              match f with
                              | Metadata.InstanceField name 
                              | Metadata.OptionalField name -> 
                                  comp.GetFieldAttributes(td, compName) |> Option.map (fun (ftyp, fattrs) ->
                                      let isQuery =
                                          fattrs
  
negative.code:                 let render = c.Arguments.[0]
                  Lambda([go; action],
                      Conditional (TypeCheck (Var action, targ),
                          some targ (Application (render, [Var go; Var action], Pure, Some 2)),
                          none targ
                      )
                  )
  