@@ -384,7 +384,7 @@ tooLong = \s maxLen -> count (chars s) > maxLen
384384
385385-- True when `s` is non-empty, even-length, and only lowercase hex digits.
386386isValidHex : Text -> Bool
387−isValidHex = \s -> (\cs -> (\n -> n > 0 && n / 2 * 2 == n && all cs (\c -> contains c "0123456789abcdef")) (count cs)) (chars s)
387+isValidHex = \s -> (\cs -> (\n -> n > 0 && n / 2 * 2 == n && all (\c -> contains c "0123456789abcdef") cs) (count cs)) (chars s)
388388
389389-- Recursively strip every trailing "." from `s` (DNS root form).
390390stripTrailingDot : Text -> Text
@@ -419,7 +419,7 @@ containsSuffix = \suffix s -> drop (max 0 (count (chars s) - count (chars suffix
419419-- (so we never `fetch` a peer pubkey from loopback) and on inbound requests
420420-- (so a peer can't claim a bogus `fromServer`).
421421isBadServerName : Text -> Bool
422−isBadServerName = \sn -> sn == "" || sn == "localhost" || not all (chars sn) (\c -> contains c "0123456789abcdefghijklmnopqrstuvwxyz-.:") || any (\p -> hasPrefix p sn) [
422+isBadServerName = \sn -> sn == "" || sn == "localhost" || not all (\c -> contains c "0123456789abcdefghijklmnopqrstuvwxyz-.:") (chars sn) || any (\p -> hasPrefix p sn) [
423423 ".",
424424 ":",
425425 "[",