It doesn't solve everything, but I hope we can agree it is an
incremental step in the right direction. I don't think a revolutionary
change fixing all the issues is feasible. This particular blemish was
already being described as "largely historical" more than a decade ago:
   http://www.haskell.org/pipermail/haskell/2000-October/006147.html