Yes, exactly that's the point. But the parent wrote: > The idea of having the language force the programmer to check for all cases of an algebraic type had not

Yes, exactly that's the point. But the parent wrote: > The idea of having the language force the programmer to check for all cases of an algebraic type had not been invented at the time.