FWIW, I've found the following pretty useful. Maybe worth adding as a std prelude type in TR?
;; Listof+ is a non-empty homogeneous list. (define-type (Listof+ a) (Pair a (Listof a)))
____________________ Racket Users list: http://lists.racket-lang.org/users
