#lang typed/racket
(define (fun arg)
    (if arg
        'foo
        "bar"))