data-type (racket): data type syntax for typed/racket
Keywords: typed-racket