declare type Full = { [P in keyof T]-?: T[P]; }; export default Full;