StringOpt: Codec<undefined | null | string, undefined | string> = ...