Неоднозначные типы с использованием ListLike

Я пишу функцию на Haskell для построения гистограммы из любого ListLike с элементами Ord :

import qualified Data.ListLike as LL
...
frequencies :: (Ord x, LL.ListLike xs x) => xs -> [(x, Int)]
frequencies xs = LL.map (\x->(LL.head x, LL.length x)) $ LL.group $ LL.sort xs

При попытке скомпилировать приведенный выше код я получаю сообщение об ошибке о неоднозначных типах:

 Ambiguous type variable `full0' in the constraint:
 (LL.ListLike full0 xs) arising from a use of `LL.group'
 Probable fix: add a type signature that fixes these type variable(s)
 In the expression: LL.group
 In the second argument of `($)', namely `LL.group $ LL.sort xs'
 In the expression:
 LL.map (\ x -> (LL.head x, LL.length x)) $ LL.group $ LL.sort xs

LL.group имеет тип (ListLike full0 full, ListLike full item, Eq item) => full -> full0 , что соответствует (Eq a ) => [a] -> [[a]] говоря в терминах обычных списков.

Я не понимаю, почему возникает проблема с неоднозначными типами. Неужели Haskell каким-то образом не может сделать вывод о существовании такого типа, как «ListLike с full в качестве элементов», то есть full0 ?