ZipList package:rebase

Lists, but with an Applicative functor based on zipping.