diff --git a/doc/function-catalog.json b/doc/function-catalog.json
index 7a896eeb20de..84c965da2334 100644
--- a/doc/function-catalog.json
+++ b/doc/function-catalog.json
@@ -37,8 +37,7 @@
       "description": "miscellaneous derivation-specific functions"
     },
     {
-      "id": "types",
-      "description": "module system types"
+      "id": "types"
     }
   ],
   "sources": [
diff --git a/lib/types.nix b/lib/types.nix
index c1797fab3e7c..8c5b12278211 100644
--- a/lib/types.nix
+++ b/lib/types.nix
@@ -1,5 +1,13 @@
-# Definitions related to run-time type checking.  Used in particular
-# to type-check NixOS configurations.
+/**
+  Definitions related to run-time type checking.
+  Used to type-check NixOS configurations.
+
+  :::{.note}
+  Documentation for `lib.types` is currently being moved here.
+
+  See [all types](https://nixos.org/manual/nixos/stable/#sec-option-types)
+  :::
+*/
 { lib }:
 
 let