What's wrong with `match cond.inner`?