trubyが死ぬほど遅くて困っていたので，ちょっと見てみた．単一化アルゴリズムの実装がタコなので，そこを直そうと思っていたんだが，まてまて，デバッグプリントもかなり遅かったはずじゃないか． let () = Debug.pp "T" "%a" print_tenv tenv in ...みたい…