+(define case-switch cadr)
+(define case-cases cddr)
+
+;; (define (verify-cases data-layouts annotated-program)
+
+;; (define allowed-match-ast-types
+;; '((Int . (int-literal var))
+;; (Bool . (bool-literal var))
+;; (String . (string-literal var))))
+
+;; (define (check-pattern switch-type pat)
+
+;; (define (impossible-match)
+;; (error "Can't pattern match ~a with ~a" switch-type (ann-expr pat)))
+
+;; (if (assoc switch-type data-layouts)
+;; (begin
+;; (let ([sums (cdr (assoc switch-type data-layouts))])
+;; (unless (eqv? (ast-type (ann-expr pat)) 'var) (impossible-match))
+;; (unless (assoc (car (ann-expr pat)) sums) (impossible-match))
+;; (unless
+;; )
+;; (begin
+;; (unless (assoc switch-type allowed-match-ast-types)
+;; (error #f "Can't pattern match on ~a" switch-type))
+
+;; (let ([allowed (cdr (assoc switch-type allowed-match-ast-types))])
+;; (unless (assoc (ast-type (ann-expr pat)) allowed) (impossible-match)))))))
+
+
+;; (let ([expr (ann-expr annotated-program)])
+;; (case (ast-type expr)
+;; ['case
+;; (let* ([switch-type (ann-type (case-switch expr))]
+;; [allowed (cdr (assoc switch-type allowed-match-ast-types))])
+;; (for-each
+;; []))]))))
+
+