Historical question about type of Data.List.group

[Jim Apple]

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