Есть ли название для "map head. Group"?

Question

Функция map head . group :: Eq a => [a] -> [a] сворачивает равные смежные значения в одно значение. В отличие от nub, он не удаляет все следующие равные значения.

Например:

nub    [1,1,2,1] == [1,2] 
(map head . group) [1,1,2,1] == [1,2,1] 

Я не мог найти эту функцию в стандартной библиотеке. Устанавливается ли это имя?

Answer 1

Нет, такая функция недоступна в стандартных библиотеках. Быстрый Hoogle query показывает, что единственная другая функция в основных библиотеках с типом Eq a => [a] -> [a] - nub.