Race condition: once executes action multiple times
The action can be executed multiple times. Multiple reads of Nothing can happen concurrently before a Just value is written.
The action can be executed multiple times. Multiple reads of Nothing can happen concurrently before a Just value is written.