( repeat )* . zip2 . ((!)*.zip2.(id,repeat.(0,#)o)o,(#)*)o