Re: Historical question about type of Data.List.group

This is also the case for Data.List.insert; it always returns a non-empty list, and so could have the signature insert :: Ord a => a -> [a] -> (a,[a]) Jim