(\x. (\z. ~::~ (x,z))) 3 [5]