Esempio di composibilità della memoria transazionale software

Question

Uno dei principali vantaggi della memoria transazionale software che viene sempre menzionata è la composibilità e la modularità. Frammenti diversi possono essere combinati per produrre componenti più grandi. Nei programmi basati su blocchi, spesso non è così.

Sto cercando un semplice esempio che lo illustra con il codice reale. Preferirei un esempio in Clojure, ma anche Haskell va bene. Punti bonus se l'esempio mostra anche un codice basato su blocco che non può essere composto facilmente.