typed-racket-datatype-lib (racket): Algebraic Datatypes for Typed Racket (implementation)
Keywords: struct|typed-racket