Agree this is a nice improvement!
I don’t know, IMO dataCorrupted does a better job communicating that something must have gone seriously wrong for you to decode a Never—the problem isn’t really that you found something of a different type when trying to decode a Never, it’s that you reached the point of decoding a Never at all. I feel like typeMismatch is… underselling a bit.