This argument seems circular (perhaps I'm missing ...

# random

[zoltu]

This argument seems circular (perhaps I'm missing something). Type erasure is bad because it adds little value and it is bad.