#lang typed-scheme

(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number)))
(define (f3 x y) (+ x y))

(+ 1 'foo)

(: f2 (case-lambda (Number * -> Number)))
(define (f2 x y) (+ x y))
#lang typed-scheme

(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number)))
(define (f3 x y) (+ x y))

(: f2 (case-lambda (Number * -> Number)))
(define (f2 x y) (+ x y))
Remove this, as it isn't needed.
Remove this, as it isn't needed.
