t = let f x y = x; z = f 5 in z