An email address that has passed validation (a non-empty host containing at least one dot) and been normalized (trimmed, lowercased).

The brand exists so host-extraction code can require this type rather than a bare string: the presence of a host is then guaranteed by the compiler, so such code needs no fallback for addresses that lack one. The only way to obtain a value is through parseEmail, which performs the validation.