How to make Koen Claessen's concurrency monad with pure variables?

Question

It\'s known how to make a pure concurrency monad based on ContT, based on a functional pearl of Koen Claessen:

data Action