From 0c5b8b734cc6be430a92b3e8c80189d8868d607f Mon Sep 17 00:00:00 2001
From: Michael Wolf <mw@philologue.net>
Date: Sun, 2 Mar 2025 09:17:46 -0600
Subject: [PATCH] Maybe make Extensible type workable

---
 deno/extensible.ts | 0
 deno/interfaces.ts | 4 +++-
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 deno/extensible.ts

diff --git a/deno/extensible.ts b/deno/extensible.ts
new file mode 100644
index 0000000..e69de29
diff --git a/deno/interfaces.ts b/deno/interfaces.ts
index 3914b1b..48dd302 100644
--- a/deno/interfaces.ts
+++ b/deno/interfaces.ts
@@ -1 +1,3 @@
-export interface Extensible {}
+type Brand<K, T> = K & { readonly __brand: T };
+
+export type Extensible = Brand<"Extensible", {}>;