dhall-kubernetes/types/io.k8s.kubernetes.pkg.api.v1.ResourceQuotaSpec.dhall