首先我们从最基本的泛型来看：
现在我们对上面泛型中的类型参数再进一步，也是个泛型会如何呢？
可以看到，java中不支持类型参数也是泛型类型的情况，而scala支持。这是一个很重要的区别，scala在类型系统上要比java强大。我们现在简单对类型归纳一下，可以分为两类:
现在我们来看 higher-kinded-type ，先要理解 kind 是什么意思，如果说类型(type)是对数据的抽象，比如1,2,3等抽象为Int类型，”hello”,”wolrd”等可抽象为String类型。那么kind则是对类型的抽象。
proper type 用 * 号表示：
泛型类型(用于构造proper type的类型)则可以用下面的方式表示，比如 Set[T], List[T],
再如 Pair[K,V] 泛型类型
如果泛型类型中的参数类型又是一个泛型，比如前边的 List2
这种类型参数也是泛型类型的类型，称之为高阶(higher)kind，是不是很像高阶函数？借用这张图做个汇总：
http://hongjiang.info/scala-higher-kinded-type/