"Sum" is a word used throughout maths for "coproduct". They could have used "coproduct type", but then people might have started complaining that they were bein

"Sum" is a word used throughout maths for "coproduct". They could have used "coproduct type", but then people might have started complaining that they were being exposed to category theory ;)