sum x y = let z = x + y in z

sum x y = z
          where z = x + y