defunctionalised unpairP, zipSpecial and interleave