> 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 m

> 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.