Small Object Optimization for Polymorphic Types