#lang typed/racket
(define f
  (lambda (x y)
    (cond
      [(string? y) (string-append "hello " y)]
      [(number? y) (if x  (+ y 1) (+ y 2))]
      [else (error 'f "unknown type")])))