During the last episode [https://www.enhan.eu/preparing-scala-3-part1/], we built a
structure called Vect whose size is encoded in the type. There were some
shortcomings however, which we will fix in this article. The goal still being to
write, a zip function whose calls compile only with Vect of