insert x (y:ys)
          | x > y = y : (insert x ys)
          | x <= y = x : y : ys
insert x (y:ys)
          | x > y = y : (insert x ys)
          | x <= y = x : y : ys
insert x (y:ys)
          | x > y = y : (insert x ys)
          | x <= y = x : y : ys