A few insights into bounds that cabal check could teach the users via some new warnings:

1. A lower bound should be inclusive, i.e. of the form >= version, and not exclusive, i.e. > version. Common blunders could be base > 4.11 when you actually want base >= 4.12. Note that versions make a dense space, so there are infinitely many versions that are > 4.11 and < 4.12.
2. An upper bound should be exclusive, i.e., of the form < version, and not inclusive, i.e. <= version. A blunder I observed in the wild is folks setting e.g. base <= 4.19.1.0 when the last published version of base is 4.19.1.0. This way, one blocks patch releases that should always be fine according to the PVP. The correct minor bound is base < 4.19.2.
3. An upper bound should not have trailing zeros. E.g. base < 4.20.0.0 could be mistaken to mean that base-4.19.* is the latest versions that should be accepted. But really base-4.20 and base-4.20.0 are not excluded by the bound. The correct bound is < 4.20.

I propose that cabal check warn on subexpressions of the version range that are of the form > version or <= version. It should further warn on upper bounds with trailing zeros, i.e. <= version.0...0.