segregate types

nt/primitives/types/default.nix

@@ -0,0 +1,8 @@
+{mix, ...} @ inputs:
+mix.newMixture inputs (mixture: {
+  includes.public = [
+    ./maybe.nix
+    ./null.nix
+    ./wrap.nix
+  ];
+})

nt/primitives/types/maybe.nix

@@ -1,13 +1,13 @@
 {this, ...}: let
-  inherit
+  # inherit
-    (this)
+  #   (this)
-    enfImpls
+  #   enfImpls
-    mkTrapdoorFn
+  #   mkTrapdoorFn
-    mkTrapdoorSet
+  #   mkTrapdoorSet
-    ntTrapdoorKey
+  #   ntTrapdoorKey
-    ntDynamicTrapdoorKey
+  #   ntDynamicTrapdoorKey
-    openTrapdoor
+  #   openTrapdoor
-    ;
+  #   ;
 in {
   # NOTE: Maybe is used to simplify parsing Type/Class declarations
   # NOTE: and therefore must be implemented manually

nt/primitives/types/null.nix

@@ -1,10 +1,10 @@
 # XXX: TODO: replace Null with the naive Maybe type
 {this, ...}: let
-  inherit
+  # inherit
-    (this)
+  #   (this)
-    ntTrapdoorKey
+  #   ntTrapdoorKey
-    mkTrapdoorSet
+  #   mkTrapdoorSet
-    ;
+  #   ;
 in {
   # NOTE: This is not good for writing type safe code
   # NOTE: it is however efficient for bootstrapping the primitives

nt/primitives/types/wrap.nix

@@ -1,10 +1,10 @@
 {this, ...}: let
-  inherit
+  # inherit
-    (this)
+  #   (this)
-    ntTrapdoorKey
+  #   ntTrapdoorKey
-    mkTrapdoorFn
+  #   mkTrapdoorFn
-    mkTrapdoorSet
+  #   mkTrapdoorSet
-    ;
+  #   ;
 in {
   # NOTE: Wrap is used to simplify parsing Type/Class declarations
   # NOTE: and therefore must be implemented manually