There certainly is a matter of choice here. But, erasure is just one way to provide type parametricity – a very bad way though.
There certainly is a matter of choice here. But, erasure is just one way to provide type parametricity – a very bad way though.