I believe you can get a better normalized form of SubsetFoo by instead doing:

    type SubsetFoo = Extract<Foo, { kind: 'B' | 'C' }>;