diff --git a/Stdlib/Debug/Todo.juvix b/Stdlib/Debug/Todo.juvix
new file mode 100644
index 00000000..52c0b84c
--- /dev/null
+++ b/Stdlib/Debug/Todo.juvix
@@ -0,0 +1,4 @@
+module Stdlib.Debug.Todo;
+
+--- Something that hasn't yet been implemented
+axiom todo {A : Type} : A;
diff --git a/Stdlib/Prelude.juvix b/Stdlib/Prelude.juvix
index bca3d057..a9c6b632 100644
--- a/Stdlib/Prelude.juvix
+++ b/Stdlib/Prelude.juvix
@@ -17,5 +17,6 @@ import Stdlib.Data.Result open public;
 import Stdlib.Data.Range open public;
 import Stdlib.Function open public;
 import Stdlib.System.IO open public;
+import Stdlib.Debug.Todo open public;
 
 import Stdlib.Trait open public;