cmpList :: (a -> a -> Ordering) -> [a] -> [a] -> Ordering
    -- `cmpList' uses a user-specified comparer

cmpList _   []     [] = EQ
cmpList :: (a -> a -> Ordering) -> [a] -> [a] -> Ordering
cmpList _   []     [] = EQ
cmpList _   []     [] = EQ