[racket] shared and immutable structures

Matthias Felleisen wrote:
> I am with Matthew. Immutable structs -- other than historically 'blessed' ones --
 > give you inductive reasoning. If you allow cycles anyway, that's out 
the window.

Do you lose inductive reasoning but gain a kind of coinductive 
reasoning? Lazy FPLs can encode cycles as infinite data.

Neil T