dph-prim-seq: Add lockedZipWiths up to 8