existential type でバインドされてて外側からは見えない型が二つあって，それらが同じ型である場合しか考えたくないのだがコンパイラにはそんなこと分からず… 動かん．そこの型を明示的に持てばこの部分だけは問題解決するが他の部分で… とりあえず計算のシミュレートさえ出来れば良いのでトリックでごまかす．
- Newer: ことはじめ
existential type でバインドされてて外側からは見えない型が二つあって，それらが同じ型である場合しか考えたくないのだがコンパイラにはそんなこと分からず… 動かん．そこの型を明示的に持てばこの部分だけは問題解決するが他の部分で… とりあえず計算のシミュレートさえ出来れば良いのでトリックでごまかす．