> This doesn't shed much light on why the situation arose or whether or not > something upstream went wrong. True. I don't think there was anything wrong. This was just the occasional unusual situation that arises because the shrinker isn't run to fixpoint, and hence there is dead code trying to select off of a constant in a sum type.