It's a good point, and yes, this can happen thousands of time per editor. I guess the right way to go about this is make it an explicit call in an ``object`` until we have implicit value classes (I'll put a note about this). Ok?