It seems the job of a senior software engineer these days is to make fun of programming languages on HN pointing out their flaws, while simultaneously keeping an eye, waiting on agents doing "thinking".
i could probably do my job and get passing (or better) perf reviews using nothing but fundamental-mode and the compiler.
You're conflating "what I do" with "what my job is." A bunch of my friends and colleagues are literally getting paid and forced today to use agents. There's no break from it unless they quit their jobs. I'm not saying I'm eagerly content and happy with this bullshit, alas, it is what it is.
"solver failed" is in theory a better error. it fails faster and is unambiguous. maybe because it's weird it is scarier? idk
the main issue is managing PVP bounds is a little hard to keep correct. but cabal also lets you "allow-newer" for duct tape.