generic

given generic[T, ST <: T & Singleton, D, DN, DV, N <: TypeName, STN <: TypeName, IsSubtype <: Aux[T, ST, D, DN, DV, N, SingletonShape[ST, STN]]]: IsSingletonSubtype[IsSubtype]