List zip
= List zip
Combine corresponding entries of two <lists> into a <list> of <tuples>. The usual finite-list operation stops when either input ends. A <lazy evaluation> implementation can produce entries from infinite <lists>, but its exact strictness depends on the order of <pattern matching> in the definition.