Dlaczego `: type` czasami pokazuje` a` i inne razy `t`?

Question

mam te dwie funkcje:

cleanUp a = Data.List.filter (/=[]) a 

joinByPairs [] = [] 
joinByPairs (x:[]) = (x:[]) 
joinByPairs (x:y:xs) = (x ++ y) : joinByPairs xs 

Kiedy załadować je w ghci i wywołać :type na nich, mam te wyniki:

*Main> :type joinByPairs 
joinByPairs :: [[a]] -> [[a]] 
*Main> :type cleanUp 
cleanUp :: Eq t => [[t]] -> [[t]] 

Jaka jest logika nim pokazując a Vs. t? Nie sądzę, że jest to spowodowane częścią Eq t, ponieważ mam inne funkcje, które wykazują coś w rodzaju otherFunction :: Eq a => [[a]] -> [[a]].

Answer 1

Dzieje się tak ze względu na sposób wybierania nazw zmiennych typu. Zupełnie nowe zmienne otrzymują t. Zmienne typu, które są nazwane w podpisie typu, zachowują nazwę z podpisem typu. Podczas ujednolicania zmiennych typu GHC woli zachować nazwę pochodzącą z jawnego podpisu typu. Jeśli żadne podwyrażenia nie mają jawnego podpisu typu, nie ma nazw innych niż t, aby ujednolicić z.