Yep. But understand that erasure is usually where...

# random

[fellshard]

Yep. But understand that erasure is usually where the type system stops behaving as expected, because code that seems natural and intuitive to the writer simply doesn't work.