Sketching in ObjectTraits for allocator