Type alias すげぇ

via Scala言語仕様輪読会

scala> type of[m[_],t] = m[t]
defined type alias of

とすると、

scala> var x: List of Int = List(1,2,3)
x: of[List,Int] = List(1, 2, 3)

とか出来る模様・・・！！
なんかすげぇ！！

これは、結局

scala> var x: of[List,Int] = List(1,2,3)
x: of[List,Int] = List(1, 2, 3)

ということな模様。

いうなれば、型を返す関数のようなもの。