Monads provide explicit sequencing. A pure language with monads would be a great for Ethereum (though smart contracts would still be scary)
miniblog.
Related Posts
Shower thought: can types be viewed as a subset of contracts?
Race conditions on Ethereum contracts can lead to double withdrawals: https://vessenes.com/more-ethereum-attacks-race-to-empty-is-the-real-deal/ (scary! Smart contracts are very hard)