Question about Encoded Value Type in Example

Hi all, why is the encoded value in this example a string and not a branded string? https://effect.website/play#e2d319af46f0
Thx in advance effect
Was this page helpful?