http://planet-compats.racket-lang.org/static/planet-orseau-mred-designer3.plt
68df1d4c7780782e3a1bee8e43dd5a80d76b9173