Does typed racket support mutually recursive structure definitions?<div><br></div><div>(struct: A ([ b : B]))</div><div>(struct: B ([a : A]))</div><div><br></div><div>Thx,</div><div><br></div><div>Ray</div>