7 files changed, 18 insertions, 12 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux
index 217b22abc..031e5025d 100644
--- a/stdlib/source/lux/type.lux
+++ b/stdlib/source/lux/type.lux
@@ -1,8 +1,9 @@
 (.module: {#.doc "Basic functionality for working with types."}
   [lux (#- function)
-   [control
+   [abstract
     [equivalence (#+ Equivalence)]
-    [monad (#+ Monad do)]
+    [monad (#+ Monad do)]]
+   [control
     ["p" parser]]
    [data
     ["." text ("#;." monoid equivalence)]
diff --git a/stdlib/source/lux/type/abstract.lux b/stdlib/source/lux/type/abstract.lux
index 1a45c6e56..d293c4083 100644
--- a/stdlib/source/lux/type/abstract.lux
+++ b/stdlib/source/lux/type/abstract.lux
@@ -1,7 +1,8 @@
 (.module:
   [lux (#- Scope)
+   [abstract
+    [monad (#+ Monad do)]]
    [control
-    [monad (#+ Monad do)]
     ["p" parser ("#;." monad)]
     ["ex" exception (#+ exception:)]]
    [data
diff --git a/stdlib/source/lux/type/check.lux b/stdlib/source/lux/type/check.lux
index 636a1722e..359a0e3b0 100644
--- a/stdlib/source/lux/type/check.lux
+++ b/stdlib/source/lux/type/check.lux
@@ -1,9 +1,10 @@
 (.module: {#.doc "Type-checking functionality."}
   [lux #*
-   [control
+   [abstract
     [functor (#+ Functor)]
     [apply (#+ Apply)]
-    ["." monad (#+ Monad do)]
+    ["." monad (#+ Monad do)]]
+   [control
     ["ex" exception (#+ exception:)]]
    [data
     ["." maybe]
diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index 36d9b2e03..d8ce47c2c 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -1,8 +1,9 @@
 (.module:
   [lux #*
-   [control
+   [abstract
     ["." monad (#+ do Monad)]
-    ["eq" equivalence]
+    ["eq" equivalence]]
+   [control
     ["p" parser]]
    [data
     ["." product]
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux
index 2444878b4..1c428fc23 100644
--- a/stdlib/source/lux/type/refinement.lux
+++ b/stdlib/source/lux/type/refinement.lux
@@ -1,6 +1,6 @@
 (.module:
   [lux (#- type)
-   [control
+   [abstract
     [predicate (#+ Predicate)]]
    [type (#+ :by-example) ("#;." equivalence)
     abstract]])
diff --git a/stdlib/source/lux/type/resource.lux b/stdlib/source/lux/type/resource.lux
index affcf4cfc..22d83defd 100644
--- a/stdlib/source/lux/type/resource.lux
+++ b/stdlib/source/lux/type/resource.lux
@@ -1,10 +1,11 @@
 (.module:
   [lux #*
+   [abstract
+    ["." monad (#+ Monad do)
+     [indexed (#+ IxMonad)]]]
    [control
     ["p" parser]
     ["ex" exception (#+ exception:)]
-    ["." monad (#+ Monad do)
-     [indexed (#+ IxMonad)]]
     [concurrency
      ["." promise (#+ Promise)]]]
    [data
diff --git a/stdlib/source/lux/type/unit.lux b/stdlib/source/lux/type/unit.lux
index d28f3e841..a05b7c85c 100644
--- a/stdlib/source/lux/type/unit.lux
+++ b/stdlib/source/lux/type/unit.lux
@@ -1,12 +1,13 @@
 ## TODO: Write tests ASAP.
 (.module:
   [lux #*
-   [control
+   [abstract
     [monad (#+ Monad do)]
-    ["p" parser]
     [equivalence (#+ Equivalence)]
     [order (#+ Order)]
     [enum (#+ Enum)]]
+   [control
+    ["p" parser]]
    [data
     [number
      ["r" ratio]]