Tenho uma pergunta sobre o polimorfismo de Haskel

Como eu aprendi, existem dois tipos de polimorfismo:

Parametric: onde você não especifica o tipo de entrad

Exemplo

functionName :: [a] -> a

Sobrecarga: como programação imperativa, ou seja, passar argumentos diferentes para a mesma funçã

Meu problema é: como Haskell lida com sobrecarregando?