I want to use `t` as main type name.
Because I agree with this article http://d.hatena.ne.jp/camlspotter/20121216/1355686499.