Generic Types in Racket

Here is a nice post about generic data types in Racket.