Why do we have uncommented and undocumented symbols in std.traits?

[Basile B.]

On Friday, 7 May 2021 at 16:31:35 UTC, Andrei Alexandrescu wrote:
> BooleanTypeOf
> IntegralTypeOf
> FloatingPointTypeOf
> NumericTypeOf
> UnsignedTypeOf
> SignedTypeOf
> CharTypeOf
> StaticArrayTypeOf
> DynamicArrayTypeOf
> ArrayTypeOf
> AssocArrayTypeOf
> BuiltinTypeOf
>
> Looking at their subtly repetitive definitions, they are 
> specious to start with, but they have absolutely no comments so 
> who knows what they're useful for.
>
> People ask "what would do phobos better?" and it's ironic 
> because literally whatever file I open there are dozens of 
> immediate and urgent improvements to be done that scream at you.

> [The entire SomethingTypeOf idiom has smell. It is pedestrian, 
> repetitive, and arcane - everything NOT characteristic to good 
> D code. I am sorry I have allowed these symbols in the first 
> place, doubly so for not figuring out they added undocumented 
> public symbols, triply so that so much time has passed 
> since.](https://github.com/dlang/phobos/pull/5747#issuecomment-333421636)

Nobody agreed on the path to follow.