http://planet-compats.racket-lang.org/static/planet-dvanhorn-typed-student1.plt
507d1f791bb7c42948d796b6cba7e58b7ffb1bec