SystemF完全に理解した（してない）

型が明示的についてる言語ってこんなに実装が楽なんだなぁ、代わりにその言語で書くのが無理