; the function expects an argument of type Int
((lambda x : Int x) false)