「型推論って（あるレイヤでの）型安全の敵なのでは？＞＜」と思い始めて調べたりしてたけどそういう文書が見つからない・・・＞＜（haskellが型ありきって話を疑い始めたのもその辺りの発想から・・・＞＜）