anchor.diff:                  let render = c.Arguments.[0]
                   Lambda([go; action],
                       Conditional (TypeCheck (Var action, targ),
  -                        some targ (Application (render, [Var go; Var action], true, Some 2)),
  +                        some targ (Application (render, [Var go; Var action], Pure, Some 2)),
                           none targ
                       )
                   )
  
positive.code:                                         name, queryItem, ty
                                      else name, QueryItem.NotQuery, ftyp
                                  )
                              | Metadata.StaticField _ -> None
                          ) 
                          |> List.ofSeq
                      let isHole (n: string) = n.StartsWith "{" && n.EndsWith "}"
  
negative.code:                 Let (mk, Call (None, routeItemParsersT, makeLinkM, [routeShape]),
                      Lambda ([action],
                          Conditional (TypeCheck (Var action, targ),
                              some (listOf stringT) (Application (Var mk, [Var action], Pure, Some 1)),
                              none (listOf stringT)
                          )
                      )
  