http://planet-compats.racket-lang.org/static/planet-dvanhorn-finite-types1.plt
a2c7a41a8fd22dc7cc8c5d9f079eb854dfcd3976