I'm a little puzzled by all of this, having learned ML before there was such a thing as Standard ML. Anonymous sums, with inl, inr, outl, outr and so on are one thing I was very happy to see the back of. This sudden enthusiasm for them strikes me as being like a sudden enthusiasm for punched cards, paper tape, or PL/I.