let rec map_length = function
  llx -> if is_empty_list (llx) 
           then empty_list ()     (* ----- llx : type error ----- *)
           else cons_list (List.length (head (llx)), map_length (tail (llx)))