I like this approach, because it lets everything Just Work without anyone outside of the implementation having to think about it at all, and only incurs meaning

I like this approach, because it lets everything Just Work without anyone outside of the implementation having to think about it at all, and only incurs meaningful overhead if you're doing something really silly, but crucially still won't break — it'll just be slightly slow. That feels like the right trade-off.