If there is anything to know about the type register sub types for each.
Like the way we say something is an mp3. Why would it be good to have one unifying concept where we pretend a car crash and Beethoven are the same thing? It can be a WAV too!
Do you prefer hard or soft cover books?
If I have two functions `GetCurrentBaz()` and `GetPreviousBaz()`, then I’m certainly not going to register `CurrentBaz` and `PreviousBaz` subtypes.
Those semantics are not properties of the type.