/dhall-kubernetes-1.16-v3.0.0/defaults/io.k8s.api.extensions.v1beta1.IngressTLS.dhall

Source

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