A compelling reframing of Kubernetes as ‘a runtime for declarative infrastructure with a type system’ rather than just a container orchestrator.