If we want blockchains to be immutable, shouldn't we be writing them in functional programming languages?