> We are boxing ourselves in a corner by calling this feature pattern assignment, Pick one: - the feature of "imperative application of exhaustive pattern" is a bad feature - it's a fine feature, but the name is wrong - something else? (be specific)