http://planet-compats.racket-lang.org/static/planet-tov-affine-contracts2.plt
c128b52f06eec8407ee8014d0fec3dd5ed33603c