/dhall-kubernetes-1.17-v3.0.0/defaults/io.k8s.api.networking.v1beta1.IngressTLS.dhall

Source

{ hosts = [] : List Text, secretName = None Text }