<div dir="ltr">Hi - <br><br>Question regarding contracts:<br><br>I am reading up on contracts, and I just found that while `any` is tail recursive, `any/c` is not.&nbsp; Since any/c matches one and only one return value and is not tail recursive, what about other tests that matches one and only one value?&nbsp; Such as `void?`, `null?`, `list?`, etc?&nbsp; Are they tail recursive?&nbsp; I assume (and hope) they are, is my assumption correct?<br>
<br>Thanks,<br>yc<br><br></div>