#;
(exn-pred "wrong arity")
#lang typed/racket
(: f (Number Number -> Number))
(define (f x) 0)