Interaction between generators and type narrowing

if (foo === undefined || foo === null) {
    yield* _(Effect.fail(new FooError('bad data')));
    // compiler still thinks foo is nully
    // however, adds '| undefined' to A
    return;
    // this fixes A but is it right?
    return yield* _(Effect.fail(new FooError('bad data')));
}