[tom_mellior]

> Why do they reduce the amount of code? [...] crash at runtime if the constructors don't match.

You answered yourself: If you cannot have these runtime type mismatches, you don't need to write the corresponding bookkeeping and checking code.

[Peaker]

You don't have to write it - you just have to avoid -Wall :-)