Каждый раз когда сажусь покурить дисциплину очень быстро охуеваю от вербозности и нечитаемости типов. И это говорит человек добровольно пишущий на haskell'е.