typed-racket-datatype (racket): Algebraic Datatypes for Typed Racket (tests and docs)
Keywords: struct|typed-racket