http://planet-compats.racket-lang.org/static/planet-tov-affine-contracts1.plt
bf1304ef1029af2166b175e100904c06dda9dae8