Sure, here's an example:

````
-> (define-type R (U R Integer))
; readline-input:3:13: Type Checker: Recursive types are not allowed directly
;   inside their definition
;   in: R
; [,bt for context]
````

I can put that in a comment.