-val dnsText = \from -> \to -> dns (dnsTXT (literal from) to);
-val dnsDefaultText = \to -> dns (dnsTXT default to);
+val dnsText = \from -> \to -> dns (dnsTXT (srv_literal from) to);
+val dnsDefaultText = \to -> dns (dnsTXT srv_default to);
+
+val dnsKerberos = \to -> dns (dnsTXT (srv_literal "_kerberos") to);