Type Refinement with Discriminated Unions in `Match`

In the matching by value example for

Match

Match

it doesn't seem to refine the type if you use a discriminated union field to match on?

Should I use

Match.value(foo.field).pipe(Match.when('abc',...)

Match.value(foo.field).pipe(Match.when('abc',...)

Match.value(foo).pipe(Match.when({field: 'abc'},...)

Match.value(foo).pipe(Match.when({field: 'abc'},...)

Type Refinement with Discriminated Unions in `Match` - Effect Community