http://planet-compats.racket-lang.org/static/planet-williams-inference1.plt
cfd8986f5e65d5d7150c38af8dc0659d21d04bd8