For most of my types that are either simple Copyable types or something I've intentionally implemented Drop on, I end up resorting to unsafe_empty_trace and #derive[(Finalize)]. I noticed this internal macro and adopted it for myself out of convenience. What is the opinion on exporting it publicly?