Minor adjustment to how the match on types can fail.