haskellはほんとに美しい言語だ
C++は公式にjavaそのものをアンチパターンと宣言しているし
その逆もそうだ
そこでhaskellは難しいので
standardMLで妥協してはどうだろう