#lang repltest typed/racket