Comment by pjmlp

There is no way to enforce that + actually implements the concept of adding two values.