{-# htermination zipWith :: (a->b->c) -> [a]->[b]->[c] #-}