((lambda x : Int x) false)