If your DRY code is "excessively bound", then by definition you have repeated yourself. The binding which must be expressed on both sides is repeated on both sides. A better language could factor it out.
For any given excessive binding, the "better language" that can factor it out may not yet exist... but then again, you might be surprised. One of the most interesting things about learning Haskell is to see the way that community has used Haskell to refactor out code that you would literally never even conceive of factoring out in another language. The "magical mystical monad" is nothing less and nothing more than the refactoring of a certain common, recurring bit of code; it is worth your time as a developer to progress your Haskell knowledge to the point that you understand what I mean by that, even if you never use Haskell itself. In fact the recurring code in question is actually very, very small, and I've gone from confused about why they do it to astonished at how obvious it is in hindsight and how thoroughly we've screwed up a very simple concept for lo these sixty years.
