Generic Types in Racket Here is a nice post about generic data types in Racket. You might also like some of these