If we use immutable types only, the internal state of our application will be consistent even if we have exceptions because our immutable objects do not maintain different states.