Type reification is planned and so is value types. And type erasure isn't as negative as you seem to make it. Bunch of really obscure use cases - fluent local

Type reification is planned and so is value types. And type erasure isn't as negative as you seem to make it. Bunch of really obscure use cases - fluent localization, roaring bitmaps and so on.