This is a specialisation of algebraic datatypes, it has to go at least as far back as SML.

I don't know which specific language, but there been around since at least 80s I would guess.