Fix case of (\a.a 1) (\x.x)) : Int