Composable monadic STM for C++ on Free monads - View it on GitHub