О Haskell по-человечески

Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией K — это моноид в моноидальной категории эндофункторов End(K).

addPrefix . encodeAllSpaces . makeItLowerCase $ url
Точка объединяет функции, а доллар привязывает их к аргументу.
Всё, теперь вы знаете о функциональных цепочках.

Функция композиции (function composition) выглядит как точка. Её назначение — компоновать функции в цепочку. Вот так:
(addPrefix . encodeAllSpaces . makeItLowerCase) url

Для простоты мы можем ввести пояснительное выражение для нашей функции:
main =
print (f 5)
where f = \x -> x * x

Функциональное программирование является одним из воплощений декларативного подхода.

(от английского declarative, описание), при котором программа представляет собой набор описаний того, что же она должна в итоге сделать.