型のリストでゴニョゴニョ

gistfile1.sbt

trait AbstractList

trait Cons[X, XS <: AbstractList] extends AbstractList

trait Nil extends AbstractList

type TypeList = List[Manifest[_]]

def typeList[A <: AbstractList: Manifest]: TypeList = {
  lazy val typeList: PartialFunction[TypeList, TypeList] = {
    case x :: xs => x :: typeList(xs.head.typeArguments)
    case _ => scala.Nil
  }
  typeList(manifest[A].typeArguments)
}