1 points by davish
Sounds like there’s plenty of concise languages with sum types and some even have good error messages.