import zeno

def zenosort(x):
  x.sort()
  return zeno.zenoreduce(lambda a,b: a+[b], x, [])