Of course we could collapse those all into one type, just like we could collapse *all* Mir types into void*.
But each of those types relates to a thing with distinct properties and uses, so the only way you'll reduce the number of types is by conflating two concepts.
Of course we could collapse those all into one type, just like we could collapse *all* Mir types into void*.
But each of those types relates to a thing with distinct properties and uses, so the only way you'll reduce the number of types is by conflating two concepts.