RequireTogether<T, Keys>

RequireTogether: T & { [K in Keys]-?: T[K] }