From 9641f59f3d1b5d46dcaef97e0caba84913a90069 Mon Sep 17 00:00:00 2001
From: Emile Clark-Boman <emile@agribit.com.au>
Date: Tue, 27 Jan 2026 08:45:56 +1000
Subject: [PATCH] TEMP: remove Null type

---
 nt/primitives/bootstrap/parse/parse.nix     |  2 +-
 nt/primitives/bootstrap/types/bootstrap.nix |  1 -
 nt/primitives/bootstrap/types/null.nix      | 27 ---------------------
 3 files changed, 1 insertion(+), 29 deletions(-)
 delete mode 100644 nt/primitives/bootstrap/types/null.nix

diff --git a/nt/primitives/bootstrap/parse/parse.nix b/nt/primitives/bootstrap/parse/parse.nix
index 881c53a..06f9e44 100644
--- a/nt/primitives/bootstrap/parse/parse.nix
+++ b/nt/primitives/bootstrap/parse/parse.nix
@@ -1,4 +1,4 @@
-# XXX: TODO: use the custom Null type instance instead of the Wrap type
+# XXX: TODO: use the Maybe/Null type instance instead of the Wrap type
 {this, ...}: let
   inherit
     (builtins)
diff --git a/nt/primitives/bootstrap/types/bootstrap.nix b/nt/primitives/bootstrap/types/bootstrap.nix
index b2e0f68..0b06740 100644
--- a/nt/primitives/bootstrap/types/bootstrap.nix
+++ b/nt/primitives/bootstrap/types/bootstrap.nix
@@ -2,7 +2,6 @@
 # WARNING: this file is strictly for bootstrapping nt
 {bootstrap, ...} @ inputs:
 bootstrap inputs [
-  ./null.nix
   ./maybe.nix
   ./wrap.nix
 ]
diff --git a/nt/primitives/bootstrap/types/null.nix b/nt/primitives/bootstrap/types/null.nix
deleted file mode 100644
index 05c250f..0000000
--- a/nt/primitives/bootstrap/types/null.nix
+++ /dev/null
@@ -1,27 +0,0 @@
-# XXX: TODO: replace Null with the naive Maybe type
-{this, ...}: let
-  inherit
-    (this)
-    ntTrapdoorKey
-    ;
-  inherit
-    (this.trapdoor)
-    mkTrapdoorSet
-    ;
-in {
-  # NOTE: This is not good for writing type safe code
-  # NOTE: it is however efficient for bootstrapping the primitives
-  Null =
-    # WARNING: Null skips implementing a Type altogether
-    # WARNING: Null is an orphaned Type instance
-    mkTrapdoorSet ntTrapdoorKey {
-      default = {};
-      unlock = {
-        instance = true;
-        sig = "nt::Null";
-        derive = [];
-        ops = {};
-        req = {};
-      };
-    };
-}