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

(thing 3)