#lang racket/base (provide if-typed) ;; if-typed (define-syntax-rule (if-typed t u) u)