:: (a -> b -> c) -> [a] -> [b] -> [c] package:safe

zipWithExact f xs ys =
| length xs == length ys = zipWith f xs ys
| otherwise              = error "some message"