@@ -35,14 +35,10 @@ unzip3 : Functor t => t (a, b, c) -> (t a, t b, t c)
3535unzip3 xs = (map fst xs, unzip (map snd xs))
3636
3737Zippable Maybe where
38− zipWith f Nothing _ = Nothing
39− zipWith f (Just x) Nothing = Nothing
40− zipWith f (Just x) (Just y) = Just (f x y)
38+ zipWith = liftA2
4139
4240Zippable (Either a) where
43− zipWith f (Left lx) _ = Left lx
44− zipWith f (Right x) (Left ly) = Left ly
45− zipWith f (Right x) (Right y) = Right (f x y)
41+ zipWith = liftA2
4642
4743Zippable List where
4844 zipWith = Prelude.List.zipWith