Comment by lmm

Does "const generics" essentially mean singleton types?