Type Erasure demo