http://planet-compats.racket-lang.org/static/planet-murphy-amb1.plt
425e1efd44f2a4cc1428b183cac69f8679a2fad5