fcn listLT(a,b){
   a.walker().zip(b).filter1(fcn([(a,b)]){ a<b }) :  // lazy
   if(_) return(True);;
   a.len()<b.len()
}