diff --git a/aaronwinter/Dream.md b/aaronwinter/Dream.md
new file mode 100644
index 0000000..1d22d35
--- /dev/null
+++ b/aaronwinter/Dream.md
@@ -0,0 +1,11 @@
+__#My Dream:
+
+* Algebraic Data Types a la Haskell
+
+Example:
+
+Let's define the set of natural numbers:
+
+Nat = Z | S(Nat) with S being the operation "add one" and Z being zero.
+
+* More freedom / built-in functions for memory management