Type Alias ClassOfSpec<K, T>

ClassOfSpec: SpecClass[K][T] extends ClassName ? SpecClass[K][T] : ClassName

The concrete class a { type: T } spec of kind K builds, so its properties complete.