anchor.diff:                              %OptionValue ctx.Name,
                               %OptionValue ctx.Path,
                               %%Expr.Value ctx.Template.Src,
  -                            (%%args.[0] : list<TemplateHole>),
  +                            ((%%args.[0] : obj) :?> list<TemplateHole>),
                               %%Expr.Value ctx.ServerLoad
                           ) @@>
                   | ClientLoad.FromDocument ->
  
positive.code:     let BuildMethod<'T> (holeName: HoleName) (resTy: Type)
              (wrapArg: Expr<'T> -> Expr<TemplateHole>) (ctx: Ctx) =
          ctx.PT.ProvidedMethod(holeName, [ProvidedParameter(holeName, typeof<'T>)], resTy, function
              | [this; arg] -> <@@ (%wrapArg (Expr.Cast arg)) :: %%this @@>
              | _ -> failwith "Incorrect invoke")
  
      let BuildHoleMethods (holeName: HoleName) (holeKind: HoleKind) (resTy: Type) (ctx: Ctx)
  
negative.code:                             %OptionValue ctx.Name,
                              %OptionValue ctx.Path,
                              %%Expr.Value ctx.Template.Src,
                              ((%%args.[0] : obj) :?> list<TemplateHole>),
                              %%Expr.Value ctx.ServerLoad
                          ) @@>
                  | _ -> failwith "ClientLoad.Download not implemented yet"
  