I recommend you check out the Daml smart contract language also based on Haskell, designed for distributed settings. Daml It not only utilises pure functions but also monads for handling the composition of ledger updates which can fail: https://daml.com