<div dir="ltr"><div>FWIW, I&#39;ve found the following pretty useful.  Maybe worth adding as a std prelude type in TR?<br><br></div>;; Listof+ is a non-empty homogeneous list.<br><div>(define-type (Listof+ a) (Pair a (Listof a)))<br>
</div></div>