anchor.diff:          (body: Statement list)
           returnType
           : Expression * Statement list =
  +
           let args =
               match args.Args with
               | [] ->
  
positive.code:                 Arguments.arguments (args = [ Arg.arg ("__unit", annotation = ta) ], defaults = [ Expression.none ])
              | _ -> args
  
          match body with
          //            | [ Statement.Return({Value=Some expr}) ] ->
  //                let fn = Expression.name(Helpers.getUniqueIdentifier "lambda")
  //                // Remove annotations from lambda expressions
  //                let args' = { args with Args = args.Args |> List.map(fun arg -> { arg with Annotation = None })}
  //                let lambda = Expression.lambda(args', expr)
  //                // Add separate assignment annotation
  //                let taArgs = args.Args |> List.choose (fun arg -> arg.Annotation)
  //                printfn "Args: %A" args
  //                let ta = pythonModuleAnnotation com ctx "typing" "Callable" (taArgs @ [ returnType ])
  //                let stmts = [Statement.assign(fn, lambda, ta)]
  //                fn, stmts
          | _ ->
              let ident =
                  name
  
negative.code:             let resolved, stmts = resolveGenerics com ctx genArgs repeatedGenerics
              fableModuleAnnotation com ctx "mailbox_processor" "MailboxProcessor" resolved, stmts
          | "Fable.Core.Py.Callable", _ ->
              let any, stmts = stdlibModuleTypeHint com ctx "typing" "Any" []
              let genArgs = [ Expression.ellipsis; any]
              stdlibModuleAnnotation com ctx "typing" "Callable" genArgs, stmts
          | _ ->
              let ent = com.GetEntity(entRef)
              // printfn "DeclaredType: %A" ent.FullName
  