module Example7 where f x y = g 3 + h 42 where { g z = x + y + z; h z = z * z }