(
datatype
bool
(
:true
)
(
:false
))
(
define
(
thing:
(
int
->
int
)
x
)
3
)
(
thing
#f
)