I used scare quotes because the trace has more to do with the structure of the AST than the evaluation of the program. In Haskell, for instance, a type error is

I used scare quotes because the trace has more to do with the structure of the AST than the evaluation of the program. In Haskell, for instance, a type error is given in descending order of detail: “no instance for (Num String) arising from a use of ‘+’, in the expression 5 + a, in the expression let a = "foo" in 5 + a, …”