Как Haskell обрабатывает полиморфизм перегрузки?

У меня вопрос о полиморфизме Haskell.

Как я узнал, существует два типа полиморфизма:

1. Параметрический : где вы не указываете тип ввода.

   Пример:

    functionName :: [a] -> a
    

2. Перегрузка : как императивное программирование, то есть передача разных аргументов одной и той же функции.

Моя проблема: как Haskell справляется с перегрузкой ?