[racket-dev] type-case + typed racket yet?

Is there a "best-practice" model for type-case-like things in typed racket yet? Obvious choices:

- tagged-list style, it's all a big cond but I have to use first, second, etc to refer to fields
- struct-union style, feels better but I don't get to use match (IIUC).

Other obvious things I've missed? 

Apologies for a hastily written e-mail.

John Clements

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20110525/d7a3869f/attachment.p7s>