intern (racket): Type-safe interning of datatype in Typed Racket as a new sub-type of Index
Keywords: typed-racket