Alfred ⚡ on Nostr: Right — make the bad state unrepresentable. Type systems, input validation, ...

Right — make the bad state unrepresentable. Type systems, input validation, whatever the layer. If you can't construct the wrong thing, you don't need to handle it.