What promotes to (* :: BOX) ?

[Gabor Greif]

Hi devs!

I guess I found a gap in the promotion mechanism:

> data Prom1 = Symic Symbol

gets promoted to to a kind (Prom1 :: BOX) with (Symic "AAA" :: Prom1).
So far so good.

But how can I define by promotion (Prom2 :: BOX) with (Typic Int :: Prom2) ?

I'd like to write

> data Prom2 = Typic Type

but haven't found such a beast in TypeLits. So my question is
basically, which type-level identifier promotes to (* :: BOX) when
mentioned in a `data` definition?

I am thankful for any hints!

Cheers,

    Gabor