Now, the primary case-match is on the shape of the arguent instead of on the binder. It's still not great, but I think we'll need nested guards to make much further improvement.