diff --git a/idris2.ipkg b/idris2.ipkg
index cd700a5..5e2eaab 100644
--- a/idris2.ipkg
+++ b/idris2.ipkg
@@ -1,6 +1,11 @@
 package idris2
 
 modules =
+    Algebra,
+    Algebra.Preorder,
+    Algebra.Semiring,
+    Algebra.ZeroOneOmega,
+
     Compiler.ANF,
     Compiler.Common,
     Compiler.CompileExpr,
diff --git a/idris2api.ipkg b/idris2api.ipkg
index 50179ea..92ea971 100644
--- a/idris2api.ipkg
+++ b/idris2api.ipkg
@@ -1,6 +1,11 @@
 package idris2api
 
 modules =
+    Algebra,
+    Algebra.Preorder,
+    Algebra.Semiring,
+    Algebra.ZeroOneOmega,
+
     Compiler.Common,
     Compiler.CompileExpr,
     Compiler.Inline,