ZipList package:protolude

Lists, but with an Applicative functor based on zipping.