Designing Value-Oriented Polymorphic Types

Use type erasure wrappers to store polymorphic objects by value.