#lang typed/racket

(: f ((List Integer Integer Integer) -> Integer))
(define (f x)
  (cadr x))

(begin-for-syntax
  (require typed-racket/utils/tc-utils)
  (report-all-errors))