ugly zip def that the type checker likes
add Void keyword to kite-mode
generic zip def