#lang typed/racket

(define-values () (+ 1 "x"))