export type WithRequiredProperty = Type & { [Property in Key]-?: Type[Property]; };