;; Imagine we had a data definition in Racket:

;; A GreenThing is represented as one of two structs
;; (make-C1 x y r)
;; (make-C2 a b c)
;; with the following fields:
;;  x,y,r,a,b,c : Int