(
define
(
thing:
(
int
->
int
)
x
)
3
)
(
thing
3
)