interface ThaiPostalOptionimport { type ThaiPostalOption } from "https://deno.land/x/postal_code@v0.1.0/mod.ts"; Propertiesen: stringth: string