liquidhaskell-0.9.0.2.1: tests/pos/ZipW2.hs

module ZipW2 where


foo :: [Int] -> [Int]
foo zs = zipWith (+) zs zs