For me, algebraic data types are not only about joining but also breaking apart (cleaving and cleaving, respectively), so the lack of pattern matching on constr

For me, algebraic data types are not only about joining but also breaking apart (cleaving and cleaving, respectively), so the lack of pattern matching on constructors would be a negative, causing me to say: (especially as one of the sibling comments was making a big deal about rings) „No, Pascal, I think not”.