ああ、>>27でみんな同じ型ってところに着目したのね。
たぶん彼はそういう意図はないと思う。

というかそろそろ厨には訳若めでふ。この辺から勉強してきまふ。
http://www.tabee.com/private/lab/types/type22/node5.html
http://216.239.57.104/search?q=cache:E7Y5J8QeIAQJ:web.yl.is.s.u-tokyo.ac.jp/~ganat/memo/+parametric+polymorphism%E3%80%80ad+hoc&hl=ja&lr=lang_ja&ie=UTF-8