Matching on Branded Types in TypeScript and Adding a Literal for Differentiation

const normalUserId = S.UUID.pipe(
  S.brand("normal-user-id"),
);

const specialUserId = S.UUID.pipe(
  S.brand("normal-user-id"),
);

const foundUser = S.Struct({
   id: S.Union(normalUserId, specialUserId)
});

switch (foundUser.id) {
  // No way to match on the branded type
}

const foundUser = S.Struct({
   id: S.Union(normalUserId, specialUserId),
   type: S.Union(S.Literal('special'), S.Literal('normal'))
});

switch (foundUser.type) { 
   case 'special': { ... do something for special user }
   case 'normal': { ... do something for normal user }
}