This will error bizarrely on `(define ((f x) y) (+ x y))`.