Would it be better if it looked like this?

````
; readline-input:4:16: Type Checker: type mismatch
;  type variables bound in different scopes
;   expected: `a'
;   given: a different `a'
;   in: x
; [,bt for context]
````