[Peaker]

No, that's false -- consider the Maybe case. If you carry around the content of the Maybe, it will still remain valid even after the Maybe itself is overwritten. Races are of course still possible but they don't relate to boolean blindness.

[CasualSuperman]

So you want to copy the data every time there's an if? Some other part of the program could have a pointer to it otherwise.