module T () where

import Language.Haskell.Liquid.Prelude (safeZipWith)

{-@ assert foo :: (a -> b -> c) -> xs : [a] -> ys:{v:[b] | len(v) = len(xs)} -> {v : [c] | len(v) = len(xs)} @-}
foo = safeZipWith