$Pays: $.Shape<"Yes" | "No", "Yes" | "No"> = ...