型情報探したり、副作用無しの恩恵ないんだろうけど
やっぱ、ocamlの方が使いやすいのかな？
大体のキラーコンテンツがパーサーや証明定理なんだしocamlに軍配あがるか
haskellのocamlに対するアドバンテージって何だろう?