Actual pattern-matching allows matching on the structure of a data type

That’s a condition, so it can fit in a ternary.