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.