#lang typed-scheme

(require scheme/match)

(match 1
  [2 3]
  [x 4])