let concat l = let len = List.fold_left (fun a el -> a + length el) 0 l in if len = 0 then empty () else concat_aux (create_fresh len) 0 l