型推論で遅くなるっていうから、何でかと思えば、
型の推論が事実上出来ない場合（NP完全）は型が判明するまで
型は何かという問題をずっと解いているからとか言い出した。
本当に頭悪過ぎだろう