diff --git a/demos/equality.tri b/demos/equality.tri
index 28f5383..4988a80 100644
--- a/demos/equality.tri
+++ b/demos/equality.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = lambdaEqualsTC
 
diff --git a/demos/interactionTrees.tri b/demos/interactionTrees.tri
index d3ded5f..20346e3 100644
--- a/demos/interactionTrees.tri
+++ b/demos/interactionTrees.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri"      !Local
-!import "../lib/list.tri"      !Local
+!import "../lib/prelude.tri"   !Local
 !import "../lib/io.tri"        !Local
 
 -- Interaction Tree Effect Runtime
diff --git a/demos/levelOrderTraversal.tri b/demos/levelOrderTraversal.tri
index a2cf4db..97c9a83 100644
--- a/demos/levelOrderTraversal.tri
+++ b/demos/levelOrderTraversal.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" Lib
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = exampleTwo
 -- Level Order Traversal of a labelled binary tree
diff --git a/demos/runArboricxBundle.tri b/demos/runArboricxBundle.tri
index 077d56f..8e08980 100644
--- a/demos/runArboricxBundle.tri
+++ b/demos/runArboricxBundle.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri"      !Local
-!import "../lib/list.tri"      !Local
+!import "../lib/prelude.tri"   !Local
 !import "../lib/io.tri"        !Local
 !import "../lib/arboricx.tri"  !Local
 
diff --git a/demos/size.tri b/demos/size.tri
index 9d2d176..884d511 100644
--- a/demos/size.tri
+++ b/demos/size.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = size size
 
diff --git a/demos/toSource.tri b/demos/toSource.tri
index 8028ce3..305a136 100644
--- a/demos/toSource.tri
+++ b/demos/toSource.tri
@@ -1,5 +1,4 @@
-!import "../lib/base.tri" !Local
-!import "../lib/list.tri" !Local
+!import "../lib/prelude.tri" !Local
 
 main = toSource not?
 -- Thanks to intensionality, we can inspect the structure of a given value
diff --git a/lib/prelude.tri b/lib/prelude.tri
new file mode 100644
index 0000000..91f779f
--- /dev/null
+++ b/lib/prelude.tri
@@ -0,0 +1,6 @@
+-- Standard tricu prelude.
+
+!import "base.tri"        !Local
+!import "list.tri"        !Local
+!import "bytes.tri"       !Local
+!import "conversions.tri" !Local