We fail at manual state-management, and the mostly used patterns we are using are complex leaky abstractions.