Type Erasure vs Type Preservation

Decide when to erase types for convenience versus preserving them for maximum optimization.