К вопросу о практической полезности Haskell и метапрограммирования.
Наткнулся тут на rsdn на пост с интересной ссылкой на lambda-the-ultimate любопытную заметку о том как на Haskell сделали компилятор DSL, в итоге результирующий код оказался в четыре раза производительнее, чем у сишных библиотек.