(define foo::(-> int int))
(assert (= foo (lambda (x::int) (+ x 1))))
(define x::int)
(assert (= (foo 1) x))
(check)