...
Again, you will still need to define exactly what types the first and second elements are supposed to be. DO NOT USE (first (rest lon)) as this an encapsulation violation of an indefinite-length list!
Think simple!
Follow these important rules whenever you write function on a list using structural recursion (note that the generative recursion that mergesort uses follows slightly different rules):
...