Passing a list of types to a Scala annotation

sealed-annotation.scala

import TList._

class sealedd[TS <: TL[_ <: Singleton]] extends Annotation

object test {
  @sealedd[Value.A.type :: Value.B.type :: TNil[_ <: Singleton]]
  trait Value

  object Value {
    object A extends Value
    object B extends Value
  }  
}

// Borrowed from https://github.com/harrah/up/blob/master/TList.scala
sealed trait TList {
  type Head <: Value
  type Tail <: TL[Value]
  type Value
}

sealed trait TCons[H <: T#Value, T <: TList] extends TList {
  type Head = H
  type Tail = T
  type Value = T#Value
}

sealed trait TNil[V] extends TList {
  type Head = Nothing
  type Tail = Nothing
  type Value = V
}

object TList {
  type ::[H <: T#Value, T <: TList] = TCons[H, T]
  type TL[V] = TList { type Value <: V }
}