Added section about Type Erasure