Вот в этой статье показывается, что система типов Haskell порой много "вменяемей" системы типов "традиционных" языков, причём и статически-типизированных, к примеру C#. Довольно наглядно это иллюстрируется на примере поиска по словарю/БД, когда результат null, полученный в шарпе можно интерпретировать 3 способами, тогда как Maybe (которая к тому же монада ) делает эти случаи более явными и логичными.