export type WithRequired = T & Required>;