[hardlianotion]

I am a fan of C++ const, but I don't really see what it has to do with effect labelling in this way.