On the other hand, it's unusual, at least in my mind, for "plus" to be used
as notation for an operation which is noncommutative. (++) is something
else of course...
While I can see moving in that direction being reasonable the migration
path is a political nightmare as Edward points out.
I'm
"plus" symbol is natural denoting joining two pieces in almost all
languages. That is why I would like not to get rid of it, but to be a bit
more general. So in new code that will use the new prelude to be able to
use it on broader range of containers (monoids/semigroups).
I really mean:
(++) ::