#lang typed/racket
(: f (case->))
(define (f x) (add1 "foo"))