Robust Distributed Software Transactions for Haskell