feat: remove brands and add intersection

index.d.ts

@@ -8,32 +8,18 @@ export type Nullish<$Type> = $Type | null | undefined;
 
 export type Either<$Left, $Right> = $Left | $Right;
 
-export type Predicate = (value: unknown) => boolean;
-
 export type Assertion<$Type> = (value: unknown) => asserts value is $Type;
 
 export type UnknownAssertion = Assertion<unknown>;
 
 export type InferAssertion<$Assertion extends Assertion<unknown>> =
 	$Assertion extends Assertion<infer $Type> ? $Type : never;
 
-export type Class<$Type> = { new (): $Type };
-
-export type UnknownClass = Class<unknown>;
-
-export type Brand<$Name extends string, $Value = None, $Props = None> = {
-	[$$Name in $Name as `__${$$Name}_brand`]: {
-		value: $Value;
-		props: $Props;
-	};
-};
-
-export type AnyBrand = Brand<any, any, any>;
-
-export type Tag<$Name extends string> = {
-	[$$Name in $Name as `__${$$Name}_brand`]: never;
-};
-
-export type AnyTag = Tag<any>;
-
-export type None = Tag<"none">;
+export type Intersection<$Values extends unknown[]> = $Values extends [
+	infer $Head,
+	...infer $Tail,
+]
+	? $Tail extends [infer _1, ...infer _2]
+		? $Head & Intersection<$Tail>
+		: $Head
+	: never;