phenomnomnominal

type Freezable = {
  unfreezable?: never; // Need to make the unfreezable property optional
};

type Frozen<T extends Freezable = Freezable> = T & {
  frozen: true;
};

type Thawed<T> = T extends Frozen<infer R>
  ? R