並大抵の言語には真似できないようなテクニック
HKD
安全なSTM
型レベルプログラミング
コンポーザブルなストリーミング処理
Template Haskell
融合変換
おごり高ぶれるのは今現在の話であり、いずれ他の言語が取り入れる、あるいはそうなるための努力を忘れてはいけないし、逆に他の言語やそのエコシステムから取り入れるべきこともたくさんある。