kinds.scala

scala> baseMap[List[Int]].kinds
res0: List[improving.Kind] = List(* -> *, (*, *) -> *, (*, * -> *) -> *, *)

scala> baseMap[List[Int]] ofKind (*, * -> *) -> * foreach println
scala.collection.generic.GenericTraversableTemplate[Int,List]

scala> baseMap[List[Int]] ofKind (*, *) -> * foreach println
scala.collection.LinearSeqOptimized[Int,List[Int]]
scala.collection.LinearSeqLike[Int,List[Int]]
scala.collection.SeqLike[Int,List[Int]]
scala.collection.IterableLike[Int,List[Int]]
scala.collection.TraversableLike[Int,List[Int]]
scala.collection.GenSeqLike[Int,List[Int]]
scala.collection.GenIterableLike[Int,List[Int]]
scala.collection.GenTraversableLike[Int,List[Int]]
PartialFunction[Int,Int]
Int => Int
scala.collection.generic.HasNewBuilder[Int,List[Int]]
scala.collection.generic.FilterMonadic[Int,List[Int]]
scala.collection.Parallelizable[Int,scala.collection.parallel.immutable.ParSeq[Int]]

scala> baseMap[List[Int]] ofKind * -> * foreach println
List[Int]
scala.collection.immutable.LinearSeq[Int]
scala.collection.immutable.Seq[Int]
scala.collection.AbstractSeq[Int]
scala.collection.LinearSeq[Int]
Seq[Int]
scala.collection.immutable.Iterable[Int]
scala.collection.AbstractIterable[Int]
Iterable[Int]
scala.collection.immutable.Traversable[Int]
scala.collection.AbstractTraversable[Int]
scala.collection.GenSeq[Int]
Traversable[Int]
scala.collection.GenIterable[Int]
scala.collection.GenTraversable[Int]
scala.collection.TraversableOnce[Int]
scala.collection.GenTraversableOnce[Int]

scala> baseMap[List[Int]] ofKind * foreach println
Product
Immutable
java.lang.Object
java.io.Serializable
Equals
Any