Narrowing Types in a Discriminated Union with Effect.filter - Effect Community