let rec merge tail = function 
  | t::head -> merge (t::tail) head 
  | _ -> tail