If erasure is bothering you so much, it means you are heavily relying on reflection / runtime type information retrieving. Which means you are second guessing

If erasure is bothering you so much, it means you are heavily relying on reflection / runtime type information retrieving. Which means you are second guessing the compiler, which provided you with such great guarantees. You should do your best to minimize this kind of code.