/**
 * Requires the fields K on T: makes a field non-optional and removes null and undefined.
 */
export type Require<T, K extends keyof T> = {
  [P in K]-?: NonNullable<T[P]>;
} &
  T;

export type RequireAll<T> = {
  [P in keyof T]-?: NonNullable<T[P]>;
} &
  T;

export type Replace<T, K extends keyof T, U> = {
  [P in K]: U;
} &
  T;