prelude: add 5-array zip and unzip