input: [MappedBinary] MappedPostalCode [BinaryField] PostalCodeField
output: Represents a validated postal code string. The field takes a reference to a MappedCountry (CountryField in Record) at definition and validates the input string against the selected country’s postal code format