うーん…なんか、適当にインストロペクションしてるような気もしてきたな。

まあ、現実的にはそれで十分なのかもしれん。

というか、それは型推論というのか?