https://timharris.uk/papers/2005-ppopp-composable.pdf https://timharris.uk/papers/2005-ppopp-composable.pdf - Composable Memory Transactions. Page 13 discuss w

https://timharris.uk/papers/2005-ppopp-composable.pdf https://timharris.uk/papers/2005-ppopp-composable.pdf - Composable Memory Transactions. Page 13 discuss why imperative approach like Rust's may fail in delivering transactional memory and why arbitrary-side-effect-free transactions in Haskell are, in fact, very composable due to effects separation inside STM and IO monads.