let concatenate_lists = function 
  lx -> (accumul_right ((function x, y -> x @ y), empty_list ())) (lx)