[racket] shared and immutable structures

 > (shared ([a (cons 1 a)])
     a)
#0='(1 . #0#)

 > (struct kons (first rest) #:transparent)
 > (shared ([a (kons 1 a)])
     a)
(kons 1 #<undefined>)

Is there a way to get the kons structure to behave like cons?

Thanks,
David