::

sealed trait ::[H, T <: TypeList] extends TypeList
trait TypeList
class Object
trait Matchable
class Any