trivial (racket): type-tailored standard library functions
Keywords: typed-racket