__>Pattern matching can either fail, succeed or diverge. A successful match binds the formal parameters in the pattern. Divergence occurs when a value needed by the pattern contains an error (_|_) ....
__>Отличный символ ошибки
Кстати, этот символ называется bottom, что тоже можно перевести как задница...
