Use val cases, not exn cases, to approximate the type of a match.