Monads provide explicit sequencing. A pure language with monads would be a great for Ethereum (though smart contracts would still be scary)