(datatype bool (:true) (:false))

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

(thing #f)