Where's the Bug?

        sort [] = []
        sort ls = merge (sort p) (sort q)
          where (p, q) = split ls

Suppose the function is trying to sort a one-element list [x]

It calls split and gets ([x], [])

Then it tries to recursively sort the two parts

Sorting [] is okay.