make both Required b: Required<Alpha>['a'];. tried here and you can play around here typescriptlang