type-expander (racket): Type expanders for typed/racket, which work like match expanders for match
Keywords: typed-racket|macros|racket-library