Craig Spence phenomnomnominal

## elsa.magic.ts
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
	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