[madsbuch]

My thesis is, that proclaimed functional programmers spend more time on mathematical structures than implementation details. Hence a sum type and not a tagged union (how the target evaluater distinguishes should not name the type).

[rectang]

Software developers are allowed to have discussions about "integer" types without being constantly interrupted by number theorists to remind them that those aren't really integers.

Perhaps one day we will be able to have similar discussions about sum types without constant interjections by functional programmers.

[madsbuch]

Yes indeed, as number theorists should be allowed to ditto.