Can't we move the `if` to the case line?