Что до читабельности Haskell, это нивелируется обилием операторов и попыткой имитации синтаксического сахара посредством комбинации ФП и ленивых вычислений. Вторая проблема присуща всем диалектам Lisp: красиво звучит в теории, а на практике абсолютно нечитабельно, потому что при первом взгляде на конструкцию совершенно непонятно, что это - встроенная фича языка или макрос, содержимое которого тебе придётся прочитать, прежде чем появится хотя бы намёк на понимание сути.