;; type inference arity check

(define (thing x y) 1)

(thing 1)