zip package:non-empty

It must hold:
fmap f xs
= zipWith (\x _ -> f x) xs xs
= zipWith (\_ x -> f x) xs xs