In the vein of scribblings for various typed/racket idioms. How would you scribble a define-type. e.g.
(define-type AttributeReq (U 'All 'SenderId 'SentTimestamp 'ApproximateReceiveCount 'ApproximateFirstReceiveTimestamp))
____________________ Racket Users list: http://lists.racket-lang.org/users
