You should never be able to "sum" different types, and definitely not different type families. And I don't want a warning, I want a huge fatal end-of-the-world

You should never be able to "sum" different types, and definitely not different type families. And I don't want a warning, I want a huge fatal end-of-the-world big red flag error message blinking on my screen until I fix it.