Given that the Dhall type system supports things that the other configuration languages do not, isn't it very hard to migrate to for a project like k8s?
I don't see how they could support something in parallel to Dhall, and still enable all the features Dhall provides.