Совместное использование транзакций STM и базы данных

Я использую библиотеку STM Haskell, и мне очень нравится возможность составлять транзакции и общий характер "вы не можете понять это неправильно". СТМ.

По уважительной причине STM не позволяет выполнять операции ввода-вывода в транзакции. Невозможно повторить попытку ввода-вывода. (вставьте сюда ссылку на запуск ракеты). С другой стороны, транзакции базы данных имеют некоторые гарантии атомарности, которые очень похожи. Есть ли общепринятый способ использовать их вместе?