See this ghc-devs post, and its follow-ups.

If we could re-engineer rebindable syntax in this way, it'd be a huge win.

Here are some bugs that it should hopefully fix:

• #16887
• #14963