;; type inference arity check
(
define
(
thing
x
y
)
1
)
(
thing
1
)