Perhaps. Still, my biggest gripe with constraints isn't with using them effectively in code under my own control (where they can indeed be quite useful), but ha

Perhaps. Still, my biggest gripe with constraints isn't with using them effectively in code under my own control (where they can indeed be quite useful), but having to interact with them in other people's libraries and systems, many of which are seemingly awash in constraints that they don't really need. Some end up in the worst-case combination of having both useless constraints and unrealized guarantees, which is why I think user-facing constraints should always be taken with a skeptical eye, whether you're planning on adding them yourself, or evaluating them in someone else's project.