You can't model all invariants in the type system. My blog even shows examples o...

		burntsushi 18 days ago \| parent \| context \| favorite \| on: Cloudflare outage on November 18, 2025 post mortem You can't model all invariants in the type system. My blog even shows examples of this too.