diff --git a/.vscode/settings.json b/.vscode/settings.json
index 2f418701b..80f51cff8 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -1,3 +1,3 @@
 {
-    "rust-analyzer.inlayHints.enable": true
+    "rust-analyzer.inlayHints.enable": false
 }
\ No newline at end of file
diff --git a/.vscode/spellright.dict b/.vscode/spellright.dict
index 5c8da440e..ef16ea2de 100644
--- a/.vscode/spellright.dict
+++ b/.vscode/spellright.dict
@@ -11,3 +11,8 @@ transpiling
 fullstack
 Serverless
 vnode
+fn
+Dodrio
+fc
+Jemalloc
+Cloudfare
diff --git a/README.md b/README.md
index 159574755..9e6c7df58 100644
--- a/README.md
+++ b/README.md
@@ -54,30 +54,34 @@ Here, the `Context` object is used to access hook state, create subscriptions, a
 ```rust
 // A very terse component!
 #[fc]
-async fn Example(ctx: &Context, name: String) -> VNode {
+fn Example(ctx: &Context, name: String) -> VNode {
     html! { <div> "Hello {name}!" </div> }
 }
 
 // or
 
 #[functional_component]
-static Example: FC = |ctx, name: String| async html! { <div> "Hello {name}!" </div> }; 
+static Example: FC = |ctx, name: String| html! { <div> "Hello {name}!" </div> }; 
 ```
 
 The final output of components must be a tree of VNodes. We provide an html macro for using JSX-style syntax to write these, though, you could use any macro, DSL, templating engine, or the constructors directly. 
 
 ## Concurrency
-In Dioxus, components are asynchronous and can their rendering can be paused at any time by awaiting a future. Hooks can combine this functionality with the Context and Subscription APIs to craft dynamic and efficient user experiences. 
+In Dioxus, VNodes are asynchronous and can their rendering can be paused at any time by awaiting a future. Hooks can combine this functionality with the Context and Subscription APIs to craft dynamic and efficient user experiences. 
 
 ```rust
-async fn user_data(ctx: &Context<()>) -> VNode {
-    let Profile { name, birthday, .. } = fetch_data().await;
-    html! {
-        <div>
-            {"Hello, {name}!"}
-            {if birthday === std::Instant::now() {html! {"Happy birthday!"}}}
-        </div>
-    }
+fn user_data(ctx: &Context<()>) -> VNode {
+    // Register this future as a task
+    use_suspense(ctx, async {
+        // Continue on with the component as usual, waiting for data to arrive
+        let Profile { name, birthday, .. } = fetch_data().await;
+        html! {
+            <div>
+                {"Hello, {name}!"}
+                {if birthday === std::Instant::now() {html! {"Happy birthday!"}}}
+            </div>
+        }
+    })
 }
 ```
 Asynchronous components are powerful but can also be easy to misuse as they pause rendering for the component and its children. Refer to the concurrent guide for information on how to best use async components. 
@@ -112,6 +116,7 @@ Dioxus LiveHost is a paid service dedicated to hosting your Dioxus Apps - whethe
 - Analytics
 - Lighthouse optimization
 - On-premise support (see license terms)
+- Cloudfare/DDoS protection integrations
 
 For small teams, LiveHost is free. Check out the pricing page to see if Dioxus LiveHost is good your team.
 
@@ -121,9 +126,9 @@ We use the dedicated `dioxus-cli` to build and test dioxus web-apps. This can ru
 Alternatively, `trunk` works but can't run examples.
 
 - tide_ssr: Handle an HTTP request and return an html body using the html! macro. `cargo run --example tide_ssr`
-- doc_generator: Use dioxus ssr to generate the website and docs. `cargo run --example doc_generator`
+- doc_generator: Use dioxus SSR to generate the website and docs. `cargo run --example doc_generator`
 - fc_macro: Use the functional component macro to build terse components. `cargo run --example fc_macro`
-- hello_web: Start a simple wasm app. Requires a webpacker like dioxus-cli or trunk `cargo run --example hello`
+- hello_web: Start a simple wasm app. Requires a web packer like dioxus-cli or trunk `cargo run --example hello`
 - router: `cargo run --example router`
 - tide_ssr: `cargo run --example tide_ssr`
 - webview: Use liveview to bridge into a webview context for a simple desktop application. `cargo run --example webview`
diff --git a/SOLVEDPROBLEMS.md b/SOLVEDPROBLEMS.md
new file mode 100644
index 000000000..bf9591eca
--- /dev/null
+++ b/SOLVEDPROBLEMS.md
@@ -0,0 +1,159 @@
+# Solved problems while building Dioxus
+
+## FC Macro for more elegant components
+Originally the syntax of the FC macro was meant to look like:
+
+```rust
+#[fc]
+fn example(ctx: &Context<{ name: String }>) -> VNode {
+    html! { <div> "Hello, {name}!" </div> }
+}
+```
+
+`Context` was originally meant to be more obviously parameterized around a struct definition. However, while this works with rustc, this does not work well with Rust Analyzer. Instead, the new form was chosen which works with Rust Analyzer and happens to be more ergonomic. 
+
+```rust
+#[fc]
+fn example(ctx: &Context, name: String) -> VNode {
+    html! { <div> "Hello, {name}!" </div> }
+}
+```
+
+## Anonymous Components
+
+In Yew, the function_component macro turns a struct into a Trait `impl` with associated type `props`. Like so:
+
+```rust
+#[derive(Properties)]
+struct Props {
+    // some props
+}
+
+struct SomeComponent;
+impl FunctionProvider for SomeComponent {
+    type TProps = Props;
+
+    fn run(&mut self, props: &Props) -> Html {
+        // user's functional component goes here
+    }
+}
+
+pub type SomeComponent = FunctionComponent<function_name>;
+```
+By default, the underlying component is defined as a "functional" implementation of the `Component` trait with all the lifecycle methods. In Dioxus, we don't allow components as structs, and instead take a "hooks-only" approach. However, we still need props. To get these without dealing with traits, we just assume functional components are modules. This lets the macros assume an FC is a module, and `FC::Props` is its props and `FC::component` is the component. Yew's method does a similar thing, but with associated types on traits.
+
+Perhaps one day we might use traits instead.
+
+The FC macro needs to work like this to generate a final module signature:
+
+```rust
+// "Example" can be used directly
+// The "associated types" are just children of the module
+// That way, files can just be components (yay, no naming craziness)
+mod Example {
+    // Associated metadata important for liveview
+    static NAME: &'static str = "Example";
+
+    struct Props {
+        name: String
+    }
+    
+    fn component(ctx: &Context<Props>) -> VNode {
+        html! { <div> "Hello, {name}!" </div> }
+    }
+}
+
+// or, Example.rs
+
+static NAME: &'static str = "Example";
+
+struct Props {
+    name: String
+}
+
+fn component(ctx: &Context<Props>) -> VNode {
+    html! { <div> "Hello, {name}!" </div> }
+}
+```
+
+These definitions might be ugly, but the fc macro cleans it all up. The fc macro also allows some configuration
+
+```rust
+#[fc]
+fn example(ctx: &Context, name: String) -> VNode {
+    html! { <div> "Hello, {name}!" </div> }
+}
+
+// .. expands to 
+
+mod Example {
+    use super::*;
+    static NAME: &'static str = "Example";
+    struct Props {
+        name: String
+    }    
+    fn component(ctx: &Context<Props>) -> VNode {
+        html! { <div> "Hello, {name}!" </div> }
+    }
+}
+```
+
+
+
+## Live Components
+Live components are a very important part of the Dioxus ecosystem. However, the goal with live components was to constrain their implementation purely to APIs available through Context (concurrency, context, subscription). 
+
+From a certain perspective, live components are simply server-side-rendered components that update when their props change. Here's more-or-less how live components work:
+
+```rust
+#[fc]
+static LiveFc: FC = |ctx, refresh_handler: impl FnOnce| {
+    // Grab the "live context"
+    let live_context = ctx.use_context::<LiveContext>();
+
+    // Ensure this component is registered as "live"
+    live_context.register_scope();
+
+    // send our props to the live context and get back a future
+    let vnodes = live_context.request_update(ctx);
+
+    // Suspend the rendering of this component until the vnodes are finished arriving
+    // Render them once available
+    ctx.suspend(async move {
+        let output = vnodes.await;
+
+        // inject any listener handles (ie button clicks, views, etc) to the parsed nodes
+        output[1].add_listener("onclick", refresh_handler);
+
+        // Return these nodes
+        // Nodes skip diffing and go straight to rendering
+        output
+    })
+}
+```
+
+Notice that LiveComponent receivers (the client-side interpretation of a LiveComponent) are simply suspended components waiting for updates from the LiveContext (the context that wraps the app to make it "live"). 
+
+## Allocation Strategy (ie incorporating Dodrio research)
+----
+The `VNodeTree` type is a very special type that allows VNodes to be created using a pluggable allocator. The html! macro creates something that looks like:
+
+```rust
+static Example: FC<()> = |ctx| {
+    html! { <div> "blah" </div> }
+};
+
+// expands to...
+
+static Example: FC<()> = |ctx| {
+    // This function converts a Fn(allocator) -> VNode closure to a DomTree struct that will later be evaluated.
+    html_macro_to_vnodetree(move |allocator| {
+        let mut node0 = allocator.alloc(VElement::div);
+        let node1 = allocator.alloc_text("blah");
+        node0.children = [node1];
+        node0
+    })
+};
+```
+At runtime, the new closure is created that captures references to `ctx`. Therefore, this closure can only be evaluated while `ctx` is borrowed and in scope. However, this closure can only be evaluated with an `allocator`. Currently, the global and Bumpalo allocators are available, though in the future we will add support for creating a VDom with any allocator or arena system (IE Jemalloc, wee-alloc, etc). The intention here is to allow arena allocation of VNodes (no need to box nested VNodes). Between diffing phases, the arena will be overwritten as old nodes are replaced with new nodes. This saves allocation time and enables bump allocators.
+
diff --git a/examples/fc_macro.rs b/examples/fc_macro.rs
index cff3de0e9..682f6444c 100644
--- a/examples/fc_macro.rs
+++ b/examples/fc_macro.rs
@@ -20,3 +20,76 @@ fn main() {
 fn example(ctx: &Context, name: String) -> VNode {
     html! { <div> "Hello, {name}!" </div> }
 }
+
+/*
+TODO
+
+/// The macro can also be applied to statics in order to make components less verbose
+/// The FC type automatically adds the inference, and property fields are automatically added as function arguments
+#[fc]
+static Example: FC = |ctx, name: String| {
+    html! { <div> "Hello, {name}!" </div> }
+};
+*/
+
+// This trait is not exposed to users directly, though they could manually implement this for struct-style components
+trait Comp {
+    type Props: Properties;
+    fn render(&self, ctx: &mut Context<Self::Props>) -> VNode;
+    fn builder(&self) -> Self::Props;
+}
+trait Properties {
+    fn new() -> Self;
+}
+
+impl<T: Properties> Comp for FC<T> {
+    type Props = T;
+
+    fn render(&self, ctx: &mut Context<T>) -> VNode {
+        let g = self(ctx);
+        g
+    }
+
+    fn builder(&self) -> T {
+        T::new()
+    }
+}
+
+// impl<T: Properties, F: Fn(&Context<T>) -> VNode> Comp for F {
+//     type Props = T;
+
+//     fn render(&self, ctx: &mut Context<T>) -> VNode {
+//         let g = self(ctx);
+//         g
+//     }
+
+//     fn builder(&self) -> T {
+//         T::new()
+//     }
+// }
+
+impl Properties for () {
+    fn new() -> Self {
+        ()
+    }
+}
+#[allow(unused, non_upper_case_globals)]
+static MyComp: FC<()> = |ctx| {
+    html! {
+        <div>
+        </div>
+    }
+};
+
+fn my_comp(ctx: &Context<()>) -> VNode {
+    todo!()
+}
+
+fn test() {
+    let mut ctx = Context { props: &() };
+    let f = MyComp.render(&mut ctx);
+    let props = MyComp.builder();
+
+    // let f = my_comp.render(&mut ctx);
+    // let props = my_comp.builder();
+}
diff --git a/examples/tide_ssr.rs b/examples/tide_ssr.rs
index 68cf9444f..409b86b37 100644
--- a/examples/tide_ssr.rs
+++ b/examples/tide_ssr.rs
@@ -8,6 +8,7 @@
 //! thousands of simultaneous clients on minimal hardware.
 
 use dioxus::prelude::*;
+use dioxus_ssr::TextRenderer;
 use rand::Rng;
 use tide::{Request, Response};
 
@@ -50,20 +51,17 @@ async fn fibsum(req: Request<()>) -> tide::Result<tide::Response> {
     // Generate another random number to try
     let other_fib_to_try = rand::thread_rng().gen_range(1..42);
 
-    let g = html! {
-        <div>
-        </div>
-    };
-
-    let nodes = html! {
+    let text = TextRenderer::<()>::to_text(html! {
         <html>
 
+        // Header
         <head>
             <meta content="text/html;charset=utf-8" />
             <meta charset="UTF-8" />
             <link href="https://unpkg.com/tailwindcss@^2/dist/tailwind.min.css" rel="stylesheet" />
         </head>
 
+        // Body
         <body>
             <div class="flex items-center justify-center flex-col">
                 <div class="flex items-center justify-center">
@@ -97,11 +95,10 @@ async fn fibsum(req: Request<()>) -> tide::Result<tide::Response> {
         </body>
 
         </html>
-    };
+    });
 
     Ok(Response::builder(203)
-        .body(nodes.to_string())
-        .header("custom-header", "value")
+        .body(text)
         .content_type(tide::http::mime::HTML)
         .build())
 }
diff --git a/packages/core-macro/src/lib.rs b/packages/core-macro/src/lib.rs
index 1327329b0..dabd6357a 100644
--- a/packages/core-macro/src/lib.rs
+++ b/packages/core-macro/src/lib.rs
@@ -186,6 +186,48 @@ impl Parse for FunctionComponent {
 fn ensure_fn_block(item: Item) -> syn::Result<ItemFn> {
     match item {
         Item::Fn(it) => Ok(it),
+        Item::Static(it) => {
+            let syn::ItemStatic {
+                attrs,
+                vis,
+                static_token,
+                mutability,
+                ident,
+                colon_token,
+                ty,
+                eq_token,
+                expr,
+                semi_token,
+            } = &it;
+            match ty.as_ref() {
+                Type::BareFn(bare) => {}
+                // Type::Array(_)
+                // | Type::Group(_)
+                // | Type::ImplTrait(_)
+                // | Type::Infer(_)
+                // | Type::Macro(_)
+                // | Type::Never(_)
+                // | Type::Paren(_)
+                // | Type::Path(_)
+                // | Type::Ptr(_)
+                // | Type::Reference(_)
+                // | Type::Slice(_)
+                // | Type::TraitObject(_)
+                // | Type::Tuple(_)
+                // | Type::Verbatim(_)
+                _ => {}
+            };
+
+            // TODO: Add support for static block
+            // Ensure that the contents of the static block can be extracted to a function
+            // TODO: @Jon
+            // Decide if statics should be converted to functions (under the hood) or stay as statics
+            // They _do_ get promoted, but also have a &'static ref
+            Err(syn::Error::new_spanned(
+                it,
+                "`function_component` attribute not ready for statics",
+            ))
+        }
         other => Err(syn::Error::new_spanned(
             other,
             "`function_component` attribute can only be applied to functions",
diff --git a/packages/core/.vscode/settings.json b/packages/core/.vscode/settings.json
new file mode 100644
index 000000000..2f418701b
--- /dev/null
+++ b/packages/core/.vscode/settings.json
@@ -0,0 +1,3 @@
+{
+    "rust-analyzer.inlayHints.enable": true
+}
\ No newline at end of file
diff --git a/packages/core/Cargo.toml b/packages/core/Cargo.toml
index 7e9685a5f..410bb970c 100644
--- a/packages/core/Cargo.toml
+++ b/packages/core/Cargo.toml
@@ -10,13 +10,13 @@ description = "Core functionality for Dioxus - a concurrent renderer-agnostic Vi
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-generational-arena = "0.2.8"
-once_cell = "1.5.2"
 dioxus-html-macro = { path = "../html-macro", version = "0.1.0" }
 
+# Backs some static data
+once_cell = "1.5.2"
 
-# web-sys = "0.3.46"
-# js-sys = "0.3.46"
-# typed-arena = "2.0.1"
-# virtual-dom-rs = { path = "../virtual-dom-rs" }
-# virtual-node = { path = "../virtual-node" }
+# Backs the scope creation and reutilization
+generational-arena = "0.2.8"
+
+# Bumpalo backs the VNode creation
+bumpalo = { version = "3.6.0", features = ["collections"] }
diff --git a/packages/core/README.md b/packages/core/README.md
index aa34e371e..53a934881 100644
--- a/packages/core/README.md
+++ b/packages/core/README.md
@@ -1,22 +1,39 @@
 # Dioxus-core
 
-In the world of Rust UI + wasm UI toolkits, Dioxus is taking a fairly opinionated stance by being functional-only with hooks/context as the primary method of interacting with state.
+This is the core crate for the Dioxus Virtual DOM. This README will focus on the technical design and layout of this Virtual DOM implementation. If you want to read more about using Dioxus, then check out the Dioxus crate, documentation, and website.
 
-To focus on building an effective user experience, 
+## Internals
+Dioxus-core builds off the many frameworks that came before it. Notably, Dioxus borrows these concepts:
 
+- React: hooks, concurrency, suspense
+- Dodrio: bump allocation / custom faster allocators, stack machine for fast changes
+- Percy: html! macro implementation and agnostic edit list
+- Yew: passion and inspiration ❤️
 
+## Goals
 
+We have big goals for Dioxus. The final implementation must:
 
+- Be **fast**. Allocators are typically slow in WASM/Rust, so we should have a smart way of allocating.
+- Be concurrent. Components should be able to pause rendering using a threading mechanism.
+- Support "broadcasting". Edit lists should be separate from the Renderer implementation.
+- Support SSR. VNodes should render to a string that can be served via a web server.
+- Be "live". Components should be able to be both server rendered and client rendered without needing frontend APIs.
+- Be modular. Components and hooks should be work anywhere without worrying about target platform.
 
+## Optimizations
 
-Sources
----
-percy: https://github.com/chinedufn/percy/blob/master/crates/virtual-dom-rs/src/patch/mod.rs
-yew: 
-dodrio: 
-rsx:
+- Support a pluggable allocation strategy that makes VNode creation **very** fast
+- Support lazy DomTrees (ie DomTrees that are not actually created when the view fn is ran)
+- Support advanced diffing strategies
 
-react:
-fre:
+## Design Quirks
 
+- Use of "Context" as a way of mitigating threading issues and the borrow checker. (JS relies on globals)
+- html! is lazy - needs to be used with a partner function to actually allocate the html.
+
+```rust
+let text = TextRenderer::render(html! {<div>"hello world"</div>});
+// <div>hello world</div>
+```
 
diff --git a/packages/core/examples/dummy.rs b/packages/core/examples/dummy.rs
new file mode 100644
index 000000000..1cc6a8706
--- /dev/null
+++ b/packages/core/examples/dummy.rs
@@ -0,0 +1,49 @@
+// #![allow(unused, non_upper_case_globals)]
+// use bumpalo::Bump;
+// use dioxus_core::nodebuilder::*;
+// use dioxus_core::{nodes::DomTree, prelude::*};
+// use std::{collections::HashMap, future::Future, marker::PhantomData};
+
+fn main() {}
+
+// struct DummyRenderer {
+//     alloc: Bump,
+// }
+
+// impl DummyRenderer {
+//     // "Renders" a domtree by logging its children and outputs
+//     fn render() {}
+
+//     // Takes a domtree, an initial value, a new value, and produces the diff list
+//     fn produce_diffs() {}
+// }
+
+// struct Props<'a> {
+//     name: &'a str,
+// }
+
+// /// This component does "xyz things"
+// /// This is sample documentation
+// static Component: FC<Props> = |ctx| {
+//     // This block mimics that output of the html! macro
+
+//     DomTree::new(move |bump| {
+//         // parse into RSX structures
+//         // regurgetate as rust types
+
+//         // <div> "Child 1" "Child 2"</div>
+//         div(bump)
+//             .attr("class", "edit")
+//             .child(text("Child 1"))
+//             .child(text("Child 2"))
+//             .finish()
+//     })
+// };
+
+// /*
+// source
+//     |> c1 -> VNode
+//     |> c2 -> VNode
+//     |> c3 -> VNode
+//     |> c4 -> VNode
+// */
diff --git a/packages/core/examples/macrosrc.rs b/packages/core/examples/macrosrc.rs
new file mode 100644
index 000000000..893744763
--- /dev/null
+++ b/packages/core/examples/macrosrc.rs
@@ -0,0 +1,57 @@
+#![allow(unused, non_upper_case_globals)]
+use bumpalo::Bump;
+use dioxus_core::prelude::*;
+use dioxus_core::{nodebuilder::*, virtual_dom::DomTree};
+use std::{collections::HashMap, future::Future, marker::PhantomData};
+
+fn main() {}
+struct Props<'a> {
+    use_macro: bool,
+
+    // todo uh not static
+    // incorporate lifetimes into the thing somehow
+    text: &'a str,
+}
+
+fn Component(ctx: Context<Props>) -> VNode {
+    // Write asynchronous rendering code that immediately returns a "suspended" VNode
+    // The concurrent API will then progress this component when the future finishes
+    // You can suspend the entire component, or just parts of it
+    let product_list = ctx.suspend(async {
+        // Suspend the rendering that completes when the future is done
+        match fetch_data().await {
+            Ok(data) => html! {<div> </div>},
+            Err(_) => html! {<div> </div>},
+        }
+    });
+
+    // VNodes can be constructed via a builder or the html! macro
+    // However, both of these are "lazy" - they need to be evaluated (aka, "viewed")
+    // We can "view" them with Context for ultimate speed while inside components
+    if ctx.props.use_macro {
+        ctx.view(|bump| {
+            div(bump)
+                .attr("class", "edit")
+                .child(text("Hello"))
+                .child(text(ctx.props.text))
+                .finish()
+        })
+    } else {
+        // "View" indicates exactly *when* allocations take place, everything is lazy up to this point
+        ctx.view(html! {
+            <div>
+                // TODO!
+                // Get all this working again
+                // <h1>"Products"</h1>
+                // // Subnodes can even be suspended
+                // // When completely rendered, they won't cause the component itself to re-render, just their slot
+                // <p> {product_list} </p>
+            </div>
+        })
+    }
+}
+
+/// An example of a datafetching service
+async fn fetch_data() -> Result<String, ()> {
+    todo!()
+}
diff --git a/packages/core/examples/simple.rs b/packages/core/examples/simple.rs
deleted file mode 100644
index b44d95261..000000000
--- a/packages/core/examples/simple.rs
+++ /dev/null
@@ -1,103 +0,0 @@
-use std::future::Future;
-
-use dioxus_core::{prelude::*, virtual_dom::Properties};
-// use virtual_dom_rs::Closure;
-
-// Stop-gap while developing
-// Need to update the macro
-type VirtualNode = VNode;
-
-pub fn main() {
-    let dom = VirtualDom::new_with_props(root);
-    // let mut renderer = TextRenderer::new(dom);
-    // let output = renderer.render();
-}
-
-#[derive(PartialEq)]
-struct Props {
-    name: String,
-}
-impl Properties for Props {}
-
-fn root(ctx: &mut Context<Props>) -> VNode {
-    // the regular html syntax
-
-    // html! {
-    //     <html>
-    //         <Head />
-    //         <Body />
-    //         <Footer />
-    //     </html>
-    // }
-
-    // or a manually crated vnode
-    {
-        let mut node_0 = VNode::element("div");
-        {
-            if let Some(ref mut element_node) = node_0.as_velement_mut() {
-                // element_node.attrs.insert("blah", "blah");
-                // element_node.children.extend(node_0.into_iter());
-            }
-        }
-
-        let mut node_1: IterableNodes = ("Hello world!").into();
-
-        node_1.first().insert_space_before_text();
-        let mut node_2 = VNode::element("button");
-
-        let node_3 = VNode::Component(VComponent::from_fn(
-            Head,
-            Props {
-                name: "".to_string(),
-            },
-        ));
-
-        {
-            // let closure = Closure::wrap(Box::new(|_| {}) as Box<FnMut(_)>);
-            // let closure_rc = std::rc::Rc::new(closure);
-            // node_2
-            //     .as_velement_mut()
-            //     .expect("Not an element")
-            //     .events
-            //     .0
-            //     .insert("onclick".to_string(), closure_rc);
-        }
-
-        if let Some(ref mut element_node) = node_0.as_velement_mut() {
-            element_node.children.extend(node_1.into_iter());
-        }
-        if let Some(ref mut element_node) = node_0.as_velement_mut() {
-            element_node.children.extend(node_2.into_iter());
-        }
-
-        node_0
-    }
-}
-
-fn Head(ctx: &mut Context<Props>) -> VNode {
-    html! {
-        <head> "Head Section" </head>
-    }
-}
-
-fn Body(ctx: &mut Context<Props>) -> VNode {
-    html! {
-        <body> {"Footer Section"}</body>
-    }
-}
-
-fn Footer(ctx: &mut Context<Props>) -> VNode {
-    let mut v = 10_i32;
-    format!("Is this the real life, or is this fantasy, caught in a landslide");
-
-    html! {
-        <div>
-            "Footer Section"
-            "Footer Section"
-            "Footer Section"
-            "Footer Section"
-            "Footer Section"
-            "Footer Section"
-        </div>
-    }
-}
diff --git a/packages/core/src/lib.rs b/packages/core/src/lib.rs
index 668cd2556..3f2c35978 100644
--- a/packages/core/src/lib.rs
+++ b/packages/core/src/lib.rs
@@ -65,6 +65,11 @@
 //! - dioxus-liveview (SSR + StringRenderer)
 //!
 
+pub mod nodebuilder;
+pub mod nodes;
+pub mod validation;
+pub mod virtual_dom;
+
 /// Re-export common types for ease of development use.
 /// Essential when working with the html! macro
 ///
@@ -72,1173 +77,20 @@
 ///
 pub mod prelude {
     use crate::nodes;
-    pub use crate::virtual_dom::{Context, VirtualDom, FC};
-    pub use nodes::iterables::IterableNodes;
+    pub use crate::virtual_dom::{Context, VirtualDom};
     pub use nodes::*;
+    // pub use nodes::iterables::IterableNodes;
+
+    // FC is a shorthand for statics to easily declare a function that takes a context and produces a dom tree
+    // The DomTree is lazy and needs to be evaluated with an arena for any allocation to take place
+    // Hmmm, maybe get statics to work again?
+    // pub type FC<'a, T> = fn(&'a Context<T>) -> VNode<'a>;
+    pub use crate::virtual_dom::{__domtree_helper, FC};
 
     // TODO @Jon, fix this
     // hack the VNode type until VirtualNode is fixed in the macro crate
-    pub type VirtualNode = VNode;
+    pub type VirtualNode<'a> = VNode<'a>;
 
     // Re-export from the macro crate
     pub use dioxus_html_macro::html;
 }
-
-/// The Dioxus Virtual Dom integrates an event system and virtual nodes to create reactive user interfaces.
-///
-/// This module includes all life-cycle related mechanics, including the virtual dom, scopes, properties, and lifecycles.
-pub mod virtual_dom {
-    use super::*;
-    use crate::nodes::VNode;
-    use generational_arena::Arena;
-
-    /// An integrated virtual node system that progresses events and diffs UI trees.
-    /// Differences are converted into patches which a renderer can use to draw the UI.
-    pub struct VirtualDom {
-        /// All mounted components are arena allocated to make additions, removals, and references easy to work with
-        /// A generational arean is used to re-use slots of deleted scopes without having to resize the underlying arena.
-        components: Arena<Scope>,
-
-        /// Components generate lifecycle events
-        event_queue: Vec<LifecycleEvent>,
-    }
-
-    impl VirtualDom {
-        /// Create a new instance of the Dioxus Virtual Dom with no properties for the root component.
-        ///
-        /// This means that the root component must either consumes its own context, or statics are used to generate the page.
-        /// The root component can access things like routing in its context.
-        pub fn new(root: FC<()>) -> Self {
-            Self::new_with_props(root)
-        }
-
-        /// Start a new VirtualDom instance with a dependent props.
-        /// Later, the props can be updated by calling "update" with a new set of props, causing a set of re-renders.
-        ///
-        /// This is useful when a component tree can be driven by external state (IE SSR) but it would be too expensive
-        /// to toss out the entire tree.
-        pub fn new_with_props<T>(root: FC<T>) -> Self {
-            // Set a first lifecycle event to add the component
-            let first_event = LifecycleEvent::Add;
-
-            Self {
-                components: Arena::new(),
-                event_queue: vec![first_event],
-            }
-        }
-    }
-
-    enum LifecycleEvent {
-        Add,
-    }
-
-    /// Functional Components leverage the type FC to
-    pub type FC<T> = fn(&mut Context<T>) -> VNode;
-
-    /// The Scope that wraps a functional component
-    /// Scope's hold subscription, context, and hook information, however, it is allocated on the heap.
-    pub struct Scope {
-        hook_idx: i32,
-        hooks: Vec<()>,
-    }
-
-    impl Scope {
-        fn new<T>() -> Self {
-            Self {
-                hook_idx: 0,
-                hooks: vec![],
-            }
-        }
-    }
-
-    pub struct HookState {}
-
-    /// Components in Dioxus use the "Context" object to interact with their lifecycle.
-    /// This lets components schedule updates, integrate hooks, and expose their context via the context api.
-    ///
-    /// Properties passed down from the parent component are also directly accessible via the exposed "props" field.
-    ///
-    /// ```ignore
-    /// #[derive(Properties)]
-    /// struct Props {
-    ///     name: String
-    /// }
-    ///
-    /// fn example(ctx: &Context<Props>) -> VNode {
-    ///     html! {
-    ///         <div> "Hello, {ctx.props.name}" </div>
-    ///     }
-    /// }
-    /// ```
-    pub struct Context<'source, T> {
-        /// Direct access to the properties used to create this component.
-        pub props: &'source T,
-    }
-
-    impl<'a, T> Context<'a, T> {
-        /// Access the children elements passed into the component
-        pub fn children(&self) -> Vec<VNode> {
-            todo!("Children API not yet implemented for component Context")
-        }
-
-        /// Access a parent context
-        pub fn parent_context<C>(&self) -> C {
-            todo!("Context API is not ready yet")
-        }
-
-        /// Create a subscription that schedules a future render for the reference component
-        pub fn subscribe(&self) -> impl FnOnce() -> () {
-            todo!("Subscription API is not ready yet");
-            || {}
-        }
-
-        /// The `Enter` API is an internal way of tracking the location in the Dioxus Virtual DOM
-        /// The Context object consumes itself, producing a new lifetime without reallocating
-        fn enter(self) -> Self {
-            todo!("Entrance API for reusing Context object not ready yet")
-        }
-    }
-
-    pub trait Properties: PartialEq + 'static {
-        /*
-        Props cannot contain references (as of today) :(
-        Use a smart pointer
-        */
-    }
-
-    // Auto derive for pure components
-    impl Properties for () {}
-
-    // Set up a derive macro
-    // #[derive(Macro)]
-}
-
-/// Virtual Node Support
-/// VNodes represent lazily-constructed VDom trees that support diffing and event handlers.
-///
-/// These VNodes should be *very* cheap and *very* fast to construct - building a full tree should be insanely quick.
-///
-pub mod nodes {
-    pub use vcomponent::VComponent;
-    pub use velement::VElement;
-    pub use vnode::VNode;
-    pub use vtext::VText;
-
-    /// Tools for the base unit of the virtual dom - the VNode
-    /// VNodes are intended to be quickly-allocated, lightweight enum values.
-    ///
-    /// Components will be generating a lot of these very quickly, so we want to
-    /// limit the amount of heap allocations / overly large enum sizes.
-    mod vnode {
-        use super::*;
-
-        #[derive(PartialEq)]
-        pub enum VNode {
-            /// An element node (node type `ELEMENT_NODE`).
-            Element(VElement),
-            /// A text node (node type `TEXT_NODE`).
-            ///
-            /// Note: This wraps a `VText` instead of a plain `String` in
-            /// order to enable custom methods like `create_text_node()` on the
-            /// wrapped type.
-            Text(VText),
-
-            /// A User-defined componen node (node type COMPONENT_NODE)
-            Component(VComponent),
-        }
-
-        impl VNode {
-            /// Create a new virtual element node with a given tag.
-            ///
-            /// These get patched into the DOM using `document.createElement`
-            ///
-            /// ```ignore
-            /// let div = VNode::element("div");
-            /// ```
-            pub fn element<S>(tag: S) -> Self
-            where
-                S: Into<String>,
-            {
-                VNode::Element(VElement::new(tag))
-            }
-
-            /// Create a new virtual text node with the given text.
-            ///
-            /// These get patched into the DOM using `document.createTextNode`
-            ///
-            /// ```ignore
-            /// let div = VNode::text("div");
-            /// ```
-            pub fn text<S>(text: S) -> Self
-            where
-                S: Into<String>,
-            {
-                VNode::Text(VText::new(text.into()))
-            }
-
-            /// Return a [`VElement`] reference, if this is an [`Element`] variant.
-            ///
-            /// [`VElement`]: struct.VElement.html
-            /// [`Element`]: enum.VNode.html#variant.Element
-            pub fn as_velement_ref(&self) -> Option<&VElement> {
-                match self {
-                    VNode::Element(ref element_node) => Some(element_node),
-                    _ => None,
-                }
-            }
-
-            /// Return a mutable [`VElement`] reference, if this is an [`Element`] variant.
-            ///
-            /// [`VElement`]: struct.VElement.html
-            /// [`Element`]: enum.VNode.html#variant.Element
-            pub fn as_velement_mut(&mut self) -> Option<&mut VElement> {
-                match self {
-                    VNode::Element(ref mut element_node) => Some(element_node),
-                    _ => None,
-                }
-            }
-
-            /// Return a [`VText`] reference, if this is an [`Text`] variant.
-            ///
-            /// [`VText`]: struct.VText.html
-            /// [`Text`]: enum.VNode.html#variant.Text
-            pub fn as_vtext_ref(&self) -> Option<&VText> {
-                match self {
-                    VNode::Text(ref text_node) => Some(text_node),
-                    _ => None,
-                }
-            }
-
-            /// Return a mutable [`VText`] reference, if this is an [`Text`] variant.
-            ///
-            /// [`VText`]: struct.VText.html
-            /// [`Text`]: enum.VNode.html#variant.Text
-            pub fn as_vtext_mut(&mut self) -> Option<&mut VText> {
-                match self {
-                    VNode::Text(ref mut text_node) => Some(text_node),
-                    _ => None,
-                }
-            }
-
-            /// Used by html-macro to insert space before text that is inside of a block that came after
-            /// an open tag.
-            ///
-            /// html! { <div> {world}</div> }
-            ///
-            /// So that we end up with <div> world</div> when we're finished parsing.
-            pub fn insert_space_before_text(&mut self) {
-                match self {
-                    VNode::Text(text_node) => {
-                        text_node.text = " ".to_string() + &text_node.text;
-                    }
-                    _ => {}
-                }
-            }
-
-            /// Used by html-macro to insert space after braced text if we know that the next block is
-            /// another block or a closing tag.
-            ///
-            /// html! { <div>{Hello} {world}</div> } -> <div>Hello world</div>
-            /// html! { <div>{Hello} </div> } -> <div>Hello </div>
-            ///
-            /// So that we end up with <div>Hello world</div> when we're finished parsing.
-            pub fn insert_space_after_text(&mut self) {
-                match self {
-                    VNode::Text(text_node) => {
-                        text_node.text += " ";
-                    }
-                    _ => {}
-                }
-            }
-        }
-
-        // -----------------------------------------------
-        //  Convert from DOM elements to the primary enum
-        // -----------------------------------------------
-        impl From<VText> for VNode {
-            fn from(other: VText) -> Self {
-                VNode::Text(other)
-            }
-        }
-
-        impl From<VElement> for VNode {
-            fn from(other: VElement) -> Self {
-                VNode::Element(other)
-            }
-        }
-
-        impl From<&str> for VNode {
-            fn from(other: &str) -> Self {
-                VNode::text(other)
-            }
-        }
-
-        impl From<String> for VNode {
-            fn from(other: String) -> Self {
-                VNode::text(other.as_str())
-            }
-        }
-
-        // -----------------------------------------------
-        //  Allow VNodes to be iterated for map-based UI
-        // -----------------------------------------------
-        impl IntoIterator for VNode {
-            type Item = VNode;
-            // TODO: Is this possible with an array [VNode] instead of a vec?
-            type IntoIter = ::std::vec::IntoIter<VNode>;
-
-            fn into_iter(self) -> Self::IntoIter {
-                vec![self].into_iter()
-            }
-        }
-
-        impl Into<::std::vec::IntoIter<VNode>> for VNode {
-            fn into(self) -> ::std::vec::IntoIter<VNode> {
-                self.into_iter()
-            }
-        }
-
-        // -----------------------------------------------
-        //  Allow debug/display adherent to the HTML spec
-        // -----------------------------------------------
-        use std::fmt;
-        impl fmt::Debug for VNode {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                match self {
-                    VNode::Element(e) => write!(f, "Node::{:?}", e),
-                    VNode::Text(t) => write!(f, "Node::{:?}", t),
-                    VNode::Component(c) => write!(f, "Node::{:?}", c),
-                }
-            }
-        }
-
-        // Turn a VNode into an HTML string (delegate impl to variants)
-        impl fmt::Display for VNode {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                match self {
-                    VNode::Element(element) => write!(f, "{}", element),
-                    VNode::Text(text) => write!(f, "{}", text),
-                    VNode::Component(c) => write!(f, "{}", c),
-                }
-            }
-        }
-    }
-
-    mod velement {
-        use super::*;
-        use std::collections::HashMap;
-
-        #[derive(PartialEq)]
-        pub struct VElement {
-            /// The HTML tag, such as "div"
-            pub tag: String,
-
-            /// HTML attributes such as id, class, style, etc
-            pub attrs: HashMap<String, String>,
-            // TODO: @JON Get this to not heap allocate, but rather borrow
-            // pub attrs: HashMap<&'static str, &'static str>,
-
-            // TODO @Jon, re-enable "events"
-            //
-            // /// Events that will get added to your real DOM element via `.addEventListener`
-            // pub events: Events,
-            pub events: HashMap<String, ()>,
-
-            /// The children of this `VNode`. So a <div> <em></em> </div> structure would
-            /// have a parent div and one child, em.
-            pub children: Vec<VNode>,
-        }
-
-        impl VElement {
-            pub fn new<S>(tag: S) -> Self
-            where
-                S: Into<String>,
-            {
-                VElement {
-                    tag: tag.into(),
-                    attrs: HashMap::new(),
-                    events: HashMap::new(),
-                    // events: Events(HashMap::new()),
-                    children: vec![],
-                }
-            }
-        }
-
-        // -----------------------------------------------
-        //  Allow debug/display adherent to the HTML spec
-        // -----------------------------------------------
-        use std::fmt;
-        impl fmt::Debug for VElement {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                write!(
-                    f,
-                    "Element(<{}>, attrs: {:?}, children: {:?})",
-                    self.tag, self.attrs, self.children,
-                )
-            }
-        }
-
-        impl fmt::Display for VElement {
-            // Turn a VElement and all of it's children (recursively) into an HTML string
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                write!(f, "<{}", self.tag).unwrap();
-
-                for (attr, value) in self.attrs.iter() {
-                    write!(f, r#" {}="{}""#, attr, value)?;
-                }
-
-                write!(f, ">")?;
-
-                for child in self.children.iter() {
-                    write!(f, "{}", child.to_string())?;
-                }
-
-                if !crate::validation::is_self_closing(&self.tag) {
-                    write!(f, "</{}>", self.tag)?;
-                }
-
-                Ok(())
-            }
-        }
-    }
-
-    mod vtext {
-        #[derive(PartialEq)]
-        pub struct VText {
-            pub text: String,
-        }
-
-        impl VText {
-            /// Create an new `VText` instance with the specified text.
-            pub fn new<S>(text: S) -> Self
-            where
-                S: Into<String>,
-            {
-                VText { text: text.into() }
-            }
-        }
-
-        // -----------------------------------------------
-        //  Convert from primitives directly into VText
-        // -----------------------------------------------
-        impl From<&str> for VText {
-            fn from(text: &str) -> Self {
-                VText {
-                    text: text.to_string(),
-                }
-            }
-        }
-
-        impl From<String> for VText {
-            fn from(text: String) -> Self {
-                VText { text }
-            }
-        }
-
-        // -----------------------------------------------
-        //  Allow debug/display adherent to the HTML spec
-        // -----------------------------------------------
-        use std::fmt;
-        impl fmt::Debug for VText {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                write!(f, "Text({})", self.text)
-            }
-        }
-
-        // Turn a VText into an HTML string
-        impl fmt::Display for VText {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                write!(f, "{}", self.text)
-            }
-        }
-    }
-
-    /// Virtual Components for custom user-defined components
-    /// Only supports the functional syntax
-    mod vcomponent {
-        use crate::{
-            prelude::{Context, FC},
-            virtual_dom::Properties,
-        };
-        use std::{any::TypeId, fmt, future::Future};
-
-        use super::VNode;
-        #[derive(PartialEq)]
-        pub struct VComponent {
-            props_id: TypeId,
-            // callerIDs are unsafely coerced to function pointers
-            // This is okay because #1, we store the props_id and verify and 2# the html! macro rejects components not made this way
-            //
-            // Manually constructing the VComponent is not possible from 3rd party crates
-        }
-
-        impl VComponent {
-            /// Construct a VComponent directly from a function component
-            /// This should be *very* fast - we store the function pointer and props type ID. It should also be small on the stack
-            pub fn from_fn<P: Properties>(f: FC<P>, props: P) -> Self {
-                // Props needs to be static
-                let props_id = std::any::TypeId::of::<P>();
-
-                // Cast the caller down
-
-                Self { props_id }
-            }
-
-            /// Construct  a VComponent directly from a concurrent component
-            pub fn from_asyncfn<P: Properties, F>(f: fn(&mut Context<P>) -> F, props: P) -> Self
-            where
-                F: Future<Output = VNode>,
-            {
-                // Props needs to be static
-                let props_id = std::any::TypeId::of::<P>();
-
-                // Cast the caller down
-
-                Self { props_id }
-            }
-        }
-
-        // -----------------------------------------------
-        //  Allow debug/display adherent to the HTML spec
-        // -----------------------------------------------
-
-        impl fmt::Debug for VComponent {
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                // TODO: @JON Implement how components should be formatted when spit out to html
-                // It probably can't be as straightforward as renderinng their VNodes
-                // It _could_ be, but we can't really implement that directly
-                // Instead, we should drop a vnode labeled with the component id/key
-
-                // write!(
-                //     f,
-                //     "Element(<{}>, attrs: {:?}, children: {:?})",
-                //     self.tag, self.attrs, self.children,
-                // )
-                Ok(())
-            }
-        }
-
-        impl fmt::Display for VComponent {
-            // Turn a VElement and all of it's children (recursively) into an HTML string
-            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-                // write!(f, "<{}", self.tag).unwrap();
-
-                // for (attr, value) in self.attrs.iter() {
-                //     write!(f, r#" {}="{}""#, attr, value)?;
-                // }
-
-                // write!(f, ">")?;
-
-                // for child in self.children.iter() {
-                //     write!(f, "{}", child.to_string())?;
-                // }
-
-                // if !crate::validation::is_self_closing(&self.tag) {
-                //     write!(f, "</{}>", self.tag)?;
-                // }
-
-                Ok(())
-            }
-        }
-    }
-
-    pub mod iterables {
-        use super::*;
-
-        /// Used by the html! macro for all braced child nodes so that we can use any type
-        /// that implements Into<IterableNodes>
-        ///
-        /// html! { <div> { nodes } </div> }
-        ///
-        /// nodes can be a String .. VNode .. Vec<VNode> ... etc
-        pub struct IterableNodes(Vec<VNode>);
-
-        impl IterableNodes {
-            /// Retrieve the first node mutably
-            pub fn first(&mut self) -> &mut VNode {
-                self.0.first_mut().unwrap()
-            }
-
-            /// Retrieve the last node mutably
-            pub fn last(&mut self) -> &mut VNode {
-                self.0.last_mut().unwrap()
-            }
-        }
-
-        impl IntoIterator for IterableNodes {
-            type Item = VNode;
-            // TODO: Is this possible with an array [VNode] instead of a vec?
-            type IntoIter = ::std::vec::IntoIter<VNode>;
-
-            fn into_iter(self) -> Self::IntoIter {
-                self.0.into_iter()
-            }
-        }
-
-        impl From<VNode> for IterableNodes {
-            fn from(other: VNode) -> Self {
-                IterableNodes(vec![other])
-            }
-        }
-
-        impl From<&str> for IterableNodes {
-            fn from(other: &str) -> Self {
-                IterableNodes(vec![VNode::text(other)])
-            }
-        }
-
-        impl From<String> for IterableNodes {
-            fn from(other: String) -> Self {
-                IterableNodes(vec![VNode::text(other.as_str())])
-            }
-        }
-
-        impl From<Vec<VNode>> for IterableNodes {
-            fn from(other: Vec<VNode>) -> Self {
-                IterableNodes(other)
-            }
-        }
-
-        // TODO @Jon
-        // Set this up so instead of the view trait, we can just take functions
-        // Functions with no context should just be rendered
-        // But functions with a context should be treated as regular components
-
-        // impl<V: View> From<Vec<V>> for IterableNodes {
-        //     fn from(other: Vec<V>) -> Self {
-        //         IterableNodes(other.into_iter().map(|it| it.render()).collect())
-        //     }
-        // }
-
-        // impl<V: View> From<&Vec<V>> for IterableNodes {
-        //     fn from(other: &Vec<V>) -> Self {
-        //         IterableNodes(other.iter().map(|it| it.render()).collect())
-        //     }
-        // }
-
-        // impl<V: View> From<&[V]> for IterableNodes {
-        //     fn from(other: &[V]) -> Self {
-        //         IterableNodes(other.iter().map(|it| it.render()).collect())
-        //     }
-        // }
-    }
-
-    #[cfg(test)]
-    mod tests {
-        use super::*;
-
-        #[test]
-        fn self_closing_tag_to_string() {
-            let node = VNode::element("br");
-
-            // No </br> since self closing tag
-            assert_eq!(&node.to_string(), "<br>");
-        }
-
-        #[test]
-        fn to_string() {
-            let mut node = VNode::Element(VElement::new("div"));
-            node.as_velement_mut()
-                .unwrap()
-                .attrs
-                .insert("id".into(), "some-id".into());
-
-            let mut child = VNode::Element(VElement::new("span"));
-
-            let mut text = VNode::Text(VText::new("Hello world"));
-
-            child.as_velement_mut().unwrap().children.push(text);
-
-            node.as_velement_mut().unwrap().children.push(child);
-
-            let expected = r#"<div id="some-id"><span>Hello world</span></div>"#;
-
-            assert_eq!(node.to_string(), expected);
-        }
-    }
-}
-
-/// The diffing algorithm to compare two VNode trees and generate a list of patches to update the VDom.
-/// Currently, using an index-based patching algorithm
-///
-pub mod diff {
-    use super::*;
-    use crate::nodes::{VNode, VText};
-    use std::cmp::min;
-    use std::collections::HashMap;
-    use std::mem;
-
-    // pub use apply_patches::patch;
-
-    /// A Patch encodes an operation that modifies a real DOM element.
-    ///
-    /// To update the real DOM that a user sees you'll want to first diff your
-    /// old virtual dom and new virtual dom.
-    ///
-    /// This diff operation will generate `Vec<Patch>` with zero or more patches that, when
-    /// applied to your real DOM, will make your real DOM look like your new virtual dom.
-    ///
-    /// Each Patch has a u32 node index that helps us identify the real DOM node that it applies to.
-    ///
-    /// Our old virtual dom's nodes are indexed depth first, as shown in this illustration
-    /// (0 being the root node, 1 being it's first child, 2 being it's first child's first child).
-    ///
-    /// ```text
-    ///             .─.
-    ///            ( 0 )
-    ///             `┬'
-    ///         ┌────┴──────┐
-    ///         │           │
-    ///         ▼           ▼
-    ///        .─.         .─.
-    ///       ( 1 )       ( 4 )
-    ///        `┬'         `─'
-    ///    ┌────┴───┐       │
-    ///    │        │       ├─────┬─────┐
-    ///    ▼        ▼       │     │     │
-    ///   .─.      .─.      ▼     ▼     ▼
-    ///  ( 2 )    ( 3 )    .─.   .─.   .─.
-    ///   `─'      `─'    ( 5 ) ( 6 ) ( 7 )
-    ///                    `─'   `─'   `─'
-    /// ```
-    ///
-    /// The patching process is tested in a real browser in crates/virtual-dom-rs/tests/diff_patch.rs
-    #[derive(Debug, PartialEq)]
-    pub enum Patch<'a> {
-        /// Append a vector of child nodes to a parent node id.
-        AppendChildren(NodeIdx, Vec<&'a VNode>),
-        /// For a `node_i32`, remove all children besides the first `len`
-        TruncateChildren(NodeIdx, usize),
-        /// Replace a node with another node. This typically happens when a node's tag changes.
-        /// ex: <div> becomes <span>
-        Replace(NodeIdx, &'a VNode),
-        /// Add attributes that the new node has that the old node does not
-        AddAttributes(NodeIdx, HashMap<&'a str, &'a str>),
-        /// Remove attributes that the old node had that the new node doesn't
-        RemoveAttributes(NodeIdx, Vec<&'a str>),
-        /// Change the text of a Text node.
-        ChangeText(NodeIdx, &'a VText),
-    }
-
-    type NodeIdx = usize;
-
-    impl<'a> Patch<'a> {
-        /// Every Patch is meant to be applied to a specific node within the DOM. Get the
-        /// index of the DOM node that this patch should apply to. DOM nodes are indexed
-        /// depth first with the root node in the tree having index 0.
-        pub fn node_idx(&self) -> usize {
-            match self {
-                Patch::AppendChildren(node_idx, _) => *node_idx,
-                Patch::TruncateChildren(node_idx, _) => *node_idx,
-                Patch::Replace(node_idx, _) => *node_idx,
-                Patch::AddAttributes(node_idx, _) => *node_idx,
-                Patch::RemoveAttributes(node_idx, _) => *node_idx,
-                Patch::ChangeText(node_idx, _) => *node_idx,
-            }
-        }
-    }
-
-    /// Given two VNode's generate Patch's that would turn the old virtual node's
-    /// real DOM node equivalent into the new VNode's real DOM node equivalent.
-    pub fn diff_vnodes<'a>(old: &'a VNode, new: &'a VNode) -> Vec<Patch<'a>> {
-        diff_recursive(&old, &new, &mut 0)
-    }
-
-    fn diff_recursive<'a, 'b>(
-        old: &'a VNode,
-        new: &'a VNode,
-        cur_node_idx: &'b mut usize,
-    ) -> Vec<Patch<'a>> {
-        let mut patches = vec![];
-        let mut replace = false;
-
-        // Different enum variants, replace!
-        // VNodes are of different types, and therefore will cause a re-render.
-        // TODO: Handle previously-mounted children so they don't get re-mounted
-        if mem::discriminant(old) != mem::discriminant(new) {
-            replace = true;
-        }
-
-        if let (VNode::Element(old_element), VNode::Element(new_element)) = (old, new) {
-            // Replace if there are different element tags
-            if old_element.tag != new_element.tag {
-                replace = true;
-            }
-
-            // Replace if two elements have different keys
-            // TODO: More robust key support. This is just an early stopgap to allow you to force replace
-            // an element... say if it's event changed. Just change the key name for now.
-            // In the future we want keys to be used to create a Patch::ReOrder to re-order siblings
-            if old_element.attrs.get("key").is_some()
-                && old_element.attrs.get("key") != new_element.attrs.get("key")
-            {
-                replace = true;
-            }
-        }
-
-        // Handle replacing of a node
-        if replace {
-            patches.push(Patch::Replace(*cur_node_idx, &new));
-            if let VNode::Element(old_element_node) = old {
-                for child in old_element_node.children.iter() {
-                    increment_node_idx_for_children(child, cur_node_idx);
-                }
-            }
-            return patches;
-        }
-
-        // The following comparison can only contain identical variants, other
-        // cases have already been handled above by comparing variant
-        // discriminants.
-        match (old, new) {
-            // We're comparing two text nodes
-            (VNode::Text(old_text), VNode::Text(new_text)) => {
-                if old_text != new_text {
-                    patches.push(Patch::ChangeText(*cur_node_idx, &new_text));
-                }
-            }
-
-            // We're comparing two element nodes
-            (VNode::Element(old_element), VNode::Element(new_element)) => {
-                let mut add_attributes: HashMap<&str, &str> = HashMap::new();
-                let mut remove_attributes: Vec<&str> = vec![];
-
-                // TODO: -> split out into func
-                for (new_attr_name, new_attr_val) in new_element.attrs.iter() {
-                    match old_element.attrs.get(new_attr_name) {
-                        Some(ref old_attr_val) => {
-                            if old_attr_val != &new_attr_val {
-                                add_attributes.insert(new_attr_name, new_attr_val);
-                            }
-                        }
-                        None => {
-                            add_attributes.insert(new_attr_name, new_attr_val);
-                        }
-                    };
-                }
-
-                // TODO: -> split out into func
-                for (old_attr_name, old_attr_val) in old_element.attrs.iter() {
-                    if add_attributes.get(&old_attr_name[..]).is_some() {
-                        continue;
-                    };
-
-                    match new_element.attrs.get(old_attr_name) {
-                        Some(ref new_attr_val) => {
-                            if new_attr_val != &old_attr_val {
-                                remove_attributes.push(old_attr_name);
-                            }
-                        }
-                        None => {
-                            remove_attributes.push(old_attr_name);
-                        }
-                    };
-                }
-
-                if add_attributes.len() > 0 {
-                    patches.push(Patch::AddAttributes(*cur_node_idx, add_attributes));
-                }
-                if remove_attributes.len() > 0 {
-                    patches.push(Patch::RemoveAttributes(*cur_node_idx, remove_attributes));
-                }
-
-                let old_child_count = old_element.children.len();
-                let new_child_count = new_element.children.len();
-
-                if new_child_count > old_child_count {
-                    let append_patch: Vec<&'a VNode> =
-                        new_element.children[old_child_count..].iter().collect();
-                    patches.push(Patch::AppendChildren(*cur_node_idx, append_patch))
-                }
-
-                if new_child_count < old_child_count {
-                    patches.push(Patch::TruncateChildren(*cur_node_idx, new_child_count))
-                }
-
-                let min_count = min(old_child_count, new_child_count);
-                for index in 0..min_count {
-                    *cur_node_idx = *cur_node_idx + 1;
-                    let old_child = &old_element.children[index];
-                    let new_child = &new_element.children[index];
-                    patches.append(&mut diff_recursive(&old_child, &new_child, cur_node_idx))
-                }
-                if new_child_count < old_child_count {
-                    for child in old_element.children[min_count..].iter() {
-                        increment_node_idx_for_children(child, cur_node_idx);
-                    }
-                }
-            }
-            (VNode::Text(_), VNode::Element(_)) | (VNode::Element(_), VNode::Text(_)) => {
-                unreachable!("Unequal variant discriminants should already have been handled");
-            }
-            _ => todo!("Diffing Not yet implemented for all node types"),
-        };
-
-        //    new_root.create_element()
-        patches
-    }
-
-    fn increment_node_idx_for_children<'a, 'b>(old: &'a VNode, cur_node_idx: &'b mut usize) {
-        *cur_node_idx += 1;
-        if let VNode::Element(element_node) = old {
-            for child in element_node.children.iter() {
-                increment_node_idx_for_children(&child, cur_node_idx);
-            }
-        }
-    }
-
-    #[cfg(test)]
-    mod tests {
-        use super::*;
-        use crate::prelude::*;
-        type VirtualNode = VNode;
-
-        /// Test that we generate the right Vec<Patch> for some start and end virtual dom.
-        pub struct DiffTestCase<'a> {
-            // ex: "Patching root level nodes works"
-            pub description: &'static str,
-            // ex: html! { <div> </div> }
-            pub old: VNode,
-            // ex: html! { <strong> </strong> }
-            pub new: VNode,
-            // ex: vec![Patch::Replace(0, &html! { <strong></strong> })],
-            pub expected: Vec<Patch<'a>>,
-        }
-
-        impl<'a> DiffTestCase<'a> {
-            pub fn test(&self) {
-                // ex: vec![Patch::Replace(0, &html! { <strong></strong> })],
-                let patches = diff_vnodes(&self.old, &self.new);
-
-                assert_eq!(patches, self.expected, "{}", self.description);
-            }
-        }
-        use super::*;
-        use crate::nodes::{VNode, VText};
-        use std::collections::HashMap;
-
-        #[test]
-        fn replace_node() {
-            DiffTestCase {
-                description: "Replace the root if the tag changed",
-                old: html! { <div> </div> },
-                new: html! { <span> </span> },
-                expected: vec![Patch::Replace(0, &html! { <span></span> })],
-            }
-            .test();
-            DiffTestCase {
-                description: "Replace a child node",
-                old: html! { <div> <b></b> </div> },
-                new: html! { <div> <strong></strong> </div> },
-                expected: vec![Patch::Replace(1, &html! { <strong></strong> })],
-            }
-            .test();
-            DiffTestCase {
-                description: "Replace node with a child",
-                old: html! { <div> <b>1</b> <b></b> </div> },
-                new: html! { <div> <i>1</i> <i></i> </div>},
-                expected: vec![
-                    Patch::Replace(1, &html! { <i>1</i> }),
-                    Patch::Replace(3, &html! { <i></i> }),
-                ], //required to check correct index
-            }
-            .test();
-        }
-
-        #[test]
-        fn add_children() {
-            DiffTestCase {
-                description: "Added a new node to the root node",
-                old: html! { <div> <b></b> </div> },
-                new: html! { <div> <b></b> <span></span> </div> },
-                expected: vec![Patch::AppendChildren(0, vec![&html! { <span></span> }])],
-            }
-            .test();
-        }
-
-        #[test]
-        fn remove_nodes() {
-            DiffTestCase {
-                description: "Remove all child nodes at and after child sibling index 1",
-                old: html! { <div> <b></b> <span></span> </div> },
-                new: html! { <div> </div> },
-                expected: vec![Patch::TruncateChildren(0, 0)],
-            }
-            .test();
-            DiffTestCase {
-                description: "Remove a child and a grandchild node",
-                old: html! {
-                <div>
-                 <span>
-                   <b></b>
-                   // This `i` tag will get removed
-                   <i></i>
-                 </span>
-                 // This `strong` tag will get removed
-                 <strong></strong>
-                </div> },
-                new: html! {
-                <div>
-                 <span>
-                  <b></b>
-                 </span>
-                </div> },
-                expected: vec![Patch::TruncateChildren(0, 1), Patch::TruncateChildren(1, 1)],
-            }
-            .test();
-            DiffTestCase {
-                description: "Removing child and change next node after parent",
-                old: html! { <div> <b> <i></i> <i></i> </b> <b></b> </div> },
-                new: html! { <div> <b> <i></i> </b> <i></i> </div>},
-                expected: vec![
-                    Patch::TruncateChildren(1, 1),
-                    Patch::Replace(4, &html! { <i></i> }),
-                ], //required to check correct index
-            }
-            .test();
-        }
-
-        #[test]
-        fn add_attributes() {
-            let mut attributes = HashMap::new();
-            attributes.insert("id", "hello");
-
-            DiffTestCase {
-                old: html! { <div> </div> },
-                new: html! { <div id="hello"> </div> },
-                expected: vec![Patch::AddAttributes(0, attributes.clone())],
-                description: "Add attributes",
-            }
-            .test();
-
-            DiffTestCase {
-                old: html! { <div id="foobar"> </div> },
-                new: html! { <div id="hello"> </div> },
-                expected: vec![Patch::AddAttributes(0, attributes)],
-                description: "Change attribute",
-            }
-            .test();
-        }
-
-        #[test]
-        fn remove_attributes() {
-            DiffTestCase {
-                old: html! { <div id="hey-there"></div> },
-                new: html! { <div> </div> },
-                expected: vec![Patch::RemoveAttributes(0, vec!["id"])],
-                description: "Add attributes",
-            }
-            .test();
-        }
-
-        #[test]
-        fn change_attribute() {
-            let mut attributes = HashMap::new();
-            attributes.insert("id", "changed");
-
-            DiffTestCase {
-                description: "Add attributes",
-                old: html! { <div id="hey-there"></div> },
-                new: html! { <div id="changed"> </div> },
-                expected: vec![Patch::AddAttributes(0, attributes)],
-            }
-            .test();
-        }
-
-        #[test]
-        fn replace_text_node() {
-            DiffTestCase {
-                description: "Replace text node",
-                old: html! { Old },
-                new: html! { New },
-                expected: vec![Patch::ChangeText(0, &VText::new("New"))],
-            }
-            .test();
-        }
-
-        // Initially motivated by having two elements where all that changed was an event listener
-        // because right now we don't patch event listeners. So.. until we have a solution
-        // for that we can just give them different keys to force a replace.
-        #[test]
-        fn replace_if_different_keys() {
-            DiffTestCase {
-                description: "If two nodes have different keys always generate a full replace.",
-                old: html! { <div key="1"> </div> },
-                new: html! { <div key="2"> </div> },
-                expected: vec![Patch::Replace(0, &html! {<div key="2"> </div>})],
-            }
-            .test()
-        }
-
-        //    // TODO: Key support
-        //    #[test]
-        //    fn reorder_chldren() {
-        //        let mut attributes = HashMap::new();
-        //        attributes.insert("class", "foo");
-        //
-        //        let old_children = vec![
-        //            // old node 0
-        //            html! { <div key="hello", id="same-id", style="",></div> },
-        //            // removed
-        //            html! { <div key="gets-removed",> { "This node gets removed"} </div>},
-        //            // old node 2
-        //            html! { <div key="world", class="changed-class",></div>},
-        //            // removed
-        //            html! { <div key="this-got-removed",> { "This node gets removed"} </div>},
-        //        ];
-        //
-        //        let new_children = vec![
-        //            html! { <div key="world", class="foo",></div> },
-        //            html! { <div key="new",> </div>},
-        //            html! { <div key="hello", id="same-id",></div>},
-        //        ];
-        //
-        //        test(DiffTestCase {
-        //            old: html! { <div> { old_children } </div> },
-        //            new: html! { <div> { new_children } </div> },
-        //            expected: vec![
-        //                // TODO: Come up with the patch structure for keyed nodes..
-        //                // keying should only work if all children have keys..
-        //            ],
-        //            description: "Add attributes",
-        //        })
-        //    }
-    }
-}
-
-/// TODO @Jon
-/// Figure out if validation should be its own crate, or embedded directly into dioxus
-/// Should we even be bothered with validation?
-///
-///
-///
-mod validation {
-    use once_cell::sync::Lazy;
-    use std::collections::HashSet;
-
-    // Used to uniquely identify elements that contain closures so that the DomUpdater can
-    // look them up by their unique id.
-    // When the DomUpdater sees that the element no longer exists it will drop all of it's
-    // Rc'd Closures for those events.
-    static SELF_CLOSING_TAGS: Lazy<HashSet<&'static str>> = Lazy::new(|| {
-        [
-            "area", "base", "br", "col", "hr", "img", "input", "link", "meta", "param", "command",
-            "keygen", "source",
-        ]
-        .iter()
-        .cloned()
-        .collect()
-    });
-
-    /// Whether or not this tag is self closing
-    ///
-    /// ```ignore
-    /// use dioxus_core::validation::is_self_closing;
-    /// assert_eq!(is_self_closing("br"), true);
-    /// assert_eq!(is_self_closing("div"), false);
-    /// ```
-    pub fn is_self_closing(tag: &str) -> bool {
-        SELF_CLOSING_TAGS.contains(tag)
-        // SELF_CLOSING_TAGS.contains(tag) || is_self_closing_svg_tag(tag)
-    }
-}
diff --git a/packages/core/src/nodebuilder.rs b/packages/core/src/nodebuilder.rs
new file mode 100644
index 000000000..e8281fe4d
--- /dev/null
+++ b/packages/core/src/nodebuilder.rs
@@ -0,0 +1,1078 @@
+//! Helpers for building virtual DOM nodes.
+
+use crate::nodes::{Attribute, Listener, NodeKey, VNode};
+type Node<'g> = VNode<'g>;
+// use crate::{node::NodeKey, Attribute, Listener, Node, RootRender, VdomWeak};
+use bumpalo::Bump;
+
+/// A virtual DOM element builder.
+///
+/// Typically constructed with element-specific constructors, eg the `div`
+/// function for building `<div>` elements or the `button` function for building
+/// `<button>` elements.
+#[derive(Clone, Debug)]
+pub struct ElementBuilder<'a, Listeners, Attributes, Children>
+where
+    Listeners: 'a + AsRef<[Listener<'a>]>,
+    Attributes: 'a + AsRef<[Attribute<'a>]>,
+    Children: 'a + AsRef<[Node<'a>]>,
+{
+    bump: &'a Bump,
+    key: NodeKey,
+    tag_name: &'a str,
+    listeners: Listeners,
+    attributes: Attributes,
+    children: Children,
+    namespace: Option<&'a str>,
+}
+
+impl<'a>
+    ElementBuilder<
+        'a,
+        bumpalo::collections::Vec<'a, Listener<'a>>,
+        bumpalo::collections::Vec<'a, Attribute<'a>>,
+        bumpalo::collections::Vec<'a, Node<'a>>,
+    >
+{
+    /// Create a new `ElementBuilder` for an element with the given tag name.
+    ///
+    /// In general, only use this constructor if the tag is dynamic (i.e. you
+    /// might build a `<div>` or you might build a `<span>` and you don't know
+    /// until runtime). Prefer using the tag-specific constructors instead:
+    /// `div(bump)` or `span(bump)`, etc.
+    ///
+    /// # Example
+    ///
+    /// ```
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// let tag_name = if flip_coin() {
+    ///     "div"
+    /// } else {
+    ///     "span"
+    /// };
+    ///
+    /// let my_element_builder = ElementBuilder::new(&b, tag_name);
+    /// # fn flip_coin() -> bool { true }
+    /// ```
+    pub fn new<B>(bump: B, tag_name: &'a str) -> Self
+    where
+        B: Into<&'a Bump>,
+    {
+        let bump = bump.into();
+        ElementBuilder {
+            bump,
+            key: NodeKey::NONE,
+            tag_name,
+            listeners: bumpalo::collections::Vec::new_in(bump),
+            attributes: bumpalo::collections::Vec::new_in(bump),
+            children: bumpalo::collections::Vec::new_in(bump),
+            namespace: None,
+        }
+    }
+}
+
+impl<'a, Listeners, Attributes, Children> ElementBuilder<'a, Listeners, Attributes, Children>
+where
+    Listeners: 'a + AsRef<[Listener<'a>]>,
+    Attributes: 'a + AsRef<[Attribute<'a>]>,
+    Children: 'a + AsRef<[Node<'a>]>,
+{
+    /// Set the listeners for this element.
+    ///
+    /// You can use this method to customize the backing storage for listeners,
+    /// for example to use a fixed-size array instead of the default
+    /// dynamically-sized `bumpalo::collections::Vec`.
+    ///
+    /// Any listeners already added to the builder will be overridden.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create a `<div>` with a fixed-size array of two listeners.
+    /// let my_div = div(&b)
+    ///     .listeners([
+    ///         on(&b, "click", |root, vdom, event| {
+    ///             // ...
+    ///         }),
+    ///         on(&b, "dblclick", |root, vdom, event| {
+    ///             // ...
+    ///         }),
+    ///     ])
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn listeners<L>(self, listeners: L) -> ElementBuilder<'a, L, Attributes, Children>
+    where
+        L: 'a + AsRef<[Listener<'a>]>,
+    {
+        ElementBuilder {
+            bump: self.bump,
+            key: self.key,
+            tag_name: self.tag_name,
+            listeners,
+            attributes: self.attributes,
+            children: self.children,
+            namespace: self.namespace,
+        }
+    }
+
+    /// Set the attributes for this element.
+    ///
+    /// You can use this method to customize the backing storage for attributes,
+    /// for example to use a fixed-size array instead of the default
+    /// dynamically-sized `bumpalo::collections::Vec`.
+    ///
+    /// Any attributes already added to the builder will be overridden.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump, Attribute};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create a `<div>` with a fixed-size array of two attributes.
+    /// let my_div = div(&b)
+    ///     .attributes([
+    ///         attr("id", "my-div"),
+    ///         attr("class", "notification"),
+    ///     ])
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn attributes<A>(self, attributes: A) -> ElementBuilder<'a, Listeners, A, Children>
+    where
+        A: 'a + AsRef<[Attribute<'a>]>,
+    {
+        ElementBuilder {
+            bump: self.bump,
+            key: self.key,
+            tag_name: self.tag_name,
+            listeners: self.listeners,
+            attributes,
+            children: self.children,
+            namespace: self.namespace,
+        }
+    }
+
+    /// Set the children for this element.
+    ///
+    /// You can use this method to customize the backing storage for children,
+    /// for example to use a fixed-size array instead of the default
+    /// dynamically-sized `bumpalo::collections::Vec`.
+    ///
+    /// Any children already added to the builder will be overridden.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create a `<div>` with a fixed-size array of two `<span>` children.
+    /// let my_div = div(&b)
+    ///     .children([
+    ///         span(&b).finish(),
+    ///         span(&b).finish(),
+    ///     ])
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn children<C>(self, children: C) -> ElementBuilder<'a, Listeners, Attributes, C>
+    where
+        C: 'a + AsRef<[Node<'a>]>,
+    {
+        ElementBuilder {
+            bump: self.bump,
+            key: self.key,
+            tag_name: self.tag_name,
+            listeners: self.listeners,
+            attributes: self.attributes,
+            children,
+            namespace: self.namespace,
+        }
+    }
+
+    /// Set the namespace for this element.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create a `<td>` tag with an xhtml namespace
+    /// let my_td = td(&b)
+    ///     .namespace(Some("http://www.w3.org/1999/xhtml"))
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn namespace(self, namespace: Option<&'a str>) -> Self {
+        ElementBuilder {
+            bump: self.bump,
+            key: self.key,
+            tag_name: self.tag_name,
+            listeners: self.listeners,
+            attributes: self.attributes,
+            children: self.children,
+            namespace,
+        }
+    }
+
+    /// Set this element's key.
+    ///
+    /// When diffing sets of siblings, if an old sibling and new sibling share a
+    /// key, then they will always reuse the same physical DOM node. This is
+    /// important when using CSS animations, web components, third party JS, or
+    /// anything else that makes the diffing implementation observable.
+    ///
+    /// Do not use keys if such a scenario does not apply. Keyed diffing is
+    /// generally more expensive than not, since it is putting greater
+    /// constraints on the diffing algorithm.
+    ///
+    /// # Invariants You Must Uphold
+    ///
+    /// The key may not be `u32::MAX`, which is a reserved key value.
+    ///
+    /// Keys must be unique among siblings.
+    ///
+    /// All sibling nodes must be keyed, or they must all not be keyed. You may
+    /// not mix keyed and unkeyed siblings.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// let my_li = li(&b)
+    ///     .key(1337)
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn key(mut self, key: u32) -> Self {
+        use std::u32;
+        debug_assert!(key != u32::MAX);
+        self.key = NodeKey(key);
+        self
+    }
+
+    /// Create the virtual DOM node described by this builder.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump, Node};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Start with a builder...
+    /// let builder: ElementBuilder<_, _, _> = div(&b);
+    ///
+    /// // ...and finish it to create a virtual DOM node!
+    /// let my_div: Node = builder.finish();
+    /// ```
+    #[inline]
+    pub fn finish(self) -> Node<'a> {
+        let children: &'a Children = self.bump.alloc(self.children);
+        let children: &'a [Node<'a>] = children.as_ref();
+
+        let listeners: &'a Listeners = self.bump.alloc(self.listeners);
+        let listeners: &'a [Listener<'a>] = listeners.as_ref();
+
+        let attributes: &'a Attributes = self.bump.alloc(self.attributes);
+        let attributes: &'a [Attribute<'a>] = attributes.as_ref();
+
+        todo!()
+        // Node::element(
+        //     self.bump,
+        //     self.key,
+        //     self.tag_name,
+        //     listeners,
+        //     attributes,
+        //     children,
+        //     self.namespace,
+        // )
+    }
+}
+
+// impl<'a, Attributes, Children>
+//     ElementBuilder<'a, bumpalo::collections::Vec<'a, Listener<'a>>, Attributes, Children>
+// where
+//     Attributes: 'a + AsRef<[Attribute<'a>]>,
+//     Children: 'a + AsRef<[Node<'a>]>,
+// {
+//     /// Add a new event listener to this element.
+//     ///
+//     /// The `event` string specifies which event will be listened for. The
+//     /// `callback` function is the function that will be invoked if the
+//     /// specified event occurs.
+//     ///
+//     /// # Example
+//     ///
+//     /// ```no_run
+//     /// use dodrio::{builder::*, bumpalo::Bump};
+//     ///
+//     /// let b = Bump::new();
+//     ///
+//     /// // A button that does something when clicked!
+//     /// let my_button = button(&b)
+//     ///     .on("click", |root, vdom, event| {
+//     ///         // ...
+//     ///     })
+//     ///     .finish();
+//     /// ```
+//     #[inline]
+//     pub fn on<F>(mut self, event: &'a str, callback: F) -> Self
+//     where
+//         F: 'static + Fn(&mut dyn RootRender, VdomWeak, web_sys::Event),
+//     {
+//         self.listeners.push(Listener {
+//             event,
+//             callback: self.bump.alloc(callback),
+//         });
+//         self
+//     }
+// }
+
+impl<'a, Listeners, Children>
+    ElementBuilder<'a, Listeners, bumpalo::collections::Vec<'a, Attribute<'a>>, Children>
+where
+    Listeners: 'a + AsRef<[Listener<'a>]>,
+    Children: 'a + AsRef<[Node<'a>]>,
+{
+    /// Add a new attribute to this element.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create the `<div id="my-div"/>` element.
+    /// let my_div = div(&b).attr("id", "my-div").finish();
+    /// ```
+    #[inline]
+    pub fn attr(mut self, name: &'a str, value: &'a str) -> Self {
+        self.attributes.push(Attribute { name, value });
+        self
+    }
+
+    /// Conditionally add a "boolean-style" attribute to this element.
+    ///
+    /// If the `should_add` parameter is true, then adds an attribute with the
+    /// given `name` and an empty string value. If the `should_add` parameter is
+    /// false, then the attribute is not added.
+    ///
+    /// This method is useful for attributes whose semantics are defined by
+    /// whether or not the attribute is present or not, and whose value is
+    /// ignored. Example attributes like this include:
+    ///
+    /// * `checked`
+    /// * `hidden`
+    /// * `selected`
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    /// use js_sys::Math;
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create the `<div>` that is randomly hidden 50% of the time.
+    /// let my_div = div(&b)
+    ///     .bool_attr("hidden", Math::random() >= 0.5)
+    ///     .finish();
+    /// ```
+    pub fn bool_attr(mut self, name: &'a str, should_add: bool) -> Self {
+        if should_add {
+            self.attributes.push(Attribute { name, value: "" });
+        }
+        self
+    }
+}
+
+impl<'a, Listeners, Attributes>
+    ElementBuilder<'a, Listeners, Attributes, bumpalo::collections::Vec<'a, Node<'a>>>
+where
+    Listeners: 'a + AsRef<[Listener<'a>]>,
+    Attributes: 'a + AsRef<[Attribute<'a>]>,
+{
+    /// Add a new child to this element.
+    ///
+    /// # Example
+    ///
+    /// ```no_run
+    /// use dodrio::{builder::*, bumpalo::Bump};
+    /// use js_sys::Math;
+    ///
+    /// let b = Bump::new();
+    ///
+    /// // Create `<p><span></span></p>`.
+    /// let my_div = p(&b)
+    ///     .child(span(&b).finish())
+    ///     .finish();
+    /// ```
+    #[inline]
+    pub fn child(mut self, child: Node<'a>) -> Self {
+        self.children.push(child);
+        self
+    }
+}
+
+macro_rules! builder_constructors {
+    ( $(
+        $(#[$attr:meta])*
+        $name:ident;
+    )* ) => {
+        $(
+            $(#[$attr])*
+            #[inline]
+            pub fn $name<'a, B>(
+                bump: B,
+            ) -> ElementBuilder<
+                'a,
+                bumpalo::collections::Vec<'a, Listener<'a>>,
+                bumpalo::collections::Vec<'a, Attribute<'a>>,
+                bumpalo::collections::Vec<'a, Node<'a>>,
+            >
+            where
+                B: Into<&'a Bump>
+            {
+                ElementBuilder::new(bump, stringify!($name))
+            }
+        )*
+    };
+    ( $(
+        $(#[$attr:meta])*
+        $name:ident <> $namespace:tt;
+    )* ) => {
+        $(
+            $(#[$attr])*
+            #[inline]
+            pub fn $name<'a>(
+                bump: &'a Bump,
+            ) -> ElementBuilder<
+                'a,
+                bumpalo::collections::Vec<'a, Listener<'a>>,
+                bumpalo::collections::Vec<'a, Attribute<'a>>,
+                bumpalo::collections::Vec<'a, Node<'a>>,
+            > {
+                let builder = ElementBuilder::new(bump, stringify!($name));
+                builder.namespace(Some($namespace))
+            }
+        )*
+    }
+}
+
+// Organized in the same order as
+// https://developer.mozilla.org/en-US/docs/Web/HTML/Element
+//
+// Does not include obsolete elements.
+builder_constructors! {
+    // Document metadata
+
+    /// Build a
+    /// [`<base>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/base)
+    /// element.
+    base;
+    /// Build a
+    /// [`<head>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/head)
+    /// element.
+    head;
+    /// Build a
+    /// [`<link>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/link)
+    /// element.
+    link;
+    /// Build a
+    /// [`<meta>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meta)
+    /// element.
+    meta;
+    /// Build a
+    /// [`<style>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/style)
+    /// element.
+    style;
+    /// Build a
+    /// [`<title>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/title)
+    /// element.
+    title;
+
+    // Sectioning root
+
+    /// Build a
+    /// [`<body>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/body)
+    /// element.
+    body;
+
+    // Content sectioning
+
+    /// Build a
+    /// [`<address>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/address)
+    /// element.
+    address;
+    /// Build a
+    /// [`<article>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/article)
+    /// element.
+    article;
+    /// Build a
+    /// [`<aside>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/aside)
+    /// element.
+    aside;
+    /// Build a
+    /// [`<footer>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/footer)
+    /// element.
+    footer;
+    /// Build a
+    /// [`<header>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/header)
+    /// element.
+    header;
+    /// Build a
+    /// [`<h1>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h1)
+    /// element.
+    h1;
+    /// Build a
+    /// [`<h2>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h2)
+    /// element.
+    h2;
+    /// Build a
+    /// [`<h3>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h3)
+    /// element.
+    h3;
+    /// Build a
+    /// [`<h4>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h4)
+    /// element.
+    h4;
+    /// Build a
+    /// [`<h5>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h5)
+    /// element.
+    h5;
+    /// Build a
+    /// [`<h6>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/h6)
+    /// element.
+    h6;
+    /// Build a
+    /// [`<hgroup>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/hgroup)
+    /// element.
+    hgroup;
+    /// Build a
+    /// [`<main>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/main)
+    /// element.
+    main;
+    /// Build a
+    /// [`<nav>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/nav)
+    /// element.
+    nav;
+    /// Build a
+    /// [`<section>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/section)
+    /// element.
+    section;
+
+    // Text content
+
+    /// Build a
+    /// [`<blockquote>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/blockquote)
+    /// element.
+    blockquote;
+    /// Build a
+    /// [`<dd>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dd)
+    /// element.
+    dd;
+    /// Build a
+    /// [`<div>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/div)
+    /// element.
+    div;
+    /// Build a
+    /// [`<dl>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dl)
+    /// element.
+    dl;
+    /// Build a
+    /// [`<dt>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dt)
+    /// element.
+    dt;
+    /// Build a
+    /// [`<figcaption>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/figcaption)
+    /// element.
+    figcaption;
+    /// Build a
+    /// [`<figure>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/figure)
+    /// element.
+    figure;
+    /// Build a
+    /// [`<hr>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/hr)
+    /// element.
+    hr;
+    /// Build a
+    /// [`<li>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/li)
+    /// element.
+    li;
+    /// Build a
+    /// [`<ol>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ol)
+    /// element.
+    ol;
+    /// Build a
+    /// [`<p>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/p)
+    /// element.
+    p;
+    /// Build a
+    /// [`<pre>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/pre)
+    /// element.
+    pre;
+    /// Build a
+    /// [`<ul>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ul)
+    /// element.
+    ul;
+
+    // Inline text semantics
+
+    /// Build a
+    /// [`<a>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/a)
+    /// element.
+    a;
+    /// Build a
+    /// [`<abbr>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/abbr)
+    /// element.
+    abbr;
+    /// Build a
+    /// [`<b>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/b)
+    /// element.
+    b;
+    /// Build a
+    /// [`<bdi>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdi)
+    /// element.
+    bdi;
+    /// Build a
+    /// [`<bdo>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdo)
+    /// element.
+    bdo;
+    /// Build a
+    /// [`<br>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/br)
+    /// element.
+    br;
+    /// Build a
+    /// [`<cite>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/cite)
+    /// element.
+    cite;
+    /// Build a
+    /// [`<code>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/code)
+    /// element.
+    code;
+    /// Build a
+    /// [`<data>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/data)
+    /// element.
+    data;
+    /// Build a
+    /// [`<dfn>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dfn)
+    /// element.
+    dfn;
+    /// Build a
+    /// [`<em>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/em)
+    /// element.
+    em;
+    /// Build a
+    /// [`<i>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/i)
+    /// element.
+    i;
+    /// Build a
+    /// [`<kbd>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/kbd)
+    /// element.
+    kbd;
+    /// Build a
+    /// [`<mark>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/mark)
+    /// element.
+    mark;
+    /// Build a
+    /// [`<q>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/q)
+    /// element.
+    q;
+    /// Build a
+    /// [`<rb>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rb)
+    /// element.
+    rb;
+    /// Build a
+    /// [`<rp>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rp)
+    /// element.
+    rp;
+    /// Build a
+    /// [`<rt>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rt)
+    /// element.
+    rt;
+    /// Build a
+    /// [`<rtc>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/rtc)
+    /// element.
+    rtc;
+    /// Build a
+    /// [`<ruby>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ruby)
+    /// element.
+    ruby;
+    /// Build a
+    /// [`<s>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/s)
+    /// element.
+    s;
+    /// Build a
+    /// [`<samp>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/samp)
+    /// element.
+    samp;
+    /// Build a
+    /// [`<small>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/small)
+    /// element.
+    small;
+    /// Build a
+    /// [`<span>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/span)
+    /// element.
+    span;
+    /// Build a
+    /// [`<strong>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/strong)
+    /// element.
+    strong;
+    /// Build a
+    /// [`<sub>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sub)
+    /// element.
+    sub;
+    /// Build a
+    /// [`<sup>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/sup)
+    /// element.
+    sup;
+    /// Build a
+    /// [`<time>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/time)
+    /// element.
+    time;
+    /// Build a
+    /// [`<u>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/u)
+    /// element.
+    u;
+    /// Build a
+    /// [`<var>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/var)
+    /// element.
+    var;
+    /// Build a
+    /// [`<wbr>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/wbr)
+    /// element.
+    wbr;
+
+    // Image and multimedia
+
+    /// Build a
+    /// [`<area>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/area)
+    /// element.
+    area;
+    /// Build a
+    /// [`<audio>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/audio)
+    /// element.
+    audio;
+    /// Build a
+    /// [`<img>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/img)
+    /// element.
+    img;
+    /// Build a
+    /// [`<map>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/map)
+    /// element.
+    map;
+    /// Build a
+    /// [`<track>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/track)
+    /// element.
+    track;
+    /// Build a
+    /// [`<video>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/video)
+    /// element.
+    video;
+
+    // Embedded content
+
+    /// Build a
+    /// [`<embed>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/embed)
+    /// element.
+    embed;
+    /// Build a
+    /// [`<iframe>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/iframe)
+    /// element.
+    iframe;
+    /// Build a
+    /// [`<object>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/object)
+    /// element.
+    object;
+    /// Build a
+    /// [`<param>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/param)
+    /// element.
+    param;
+    /// Build a
+    /// [`<picture>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/picture)
+    /// element.
+    picture;
+    /// Build a
+    /// [`<source>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/source)
+    /// element.
+    source;
+
+    // Scripting
+
+    /// Build a
+    /// [`<canvas>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/canvas)
+    /// element.
+    canvas;
+    /// Build a
+    /// [`<noscript>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/noscript)
+    /// element.
+    noscript;
+    /// Build a
+    /// [`<script>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script)
+    /// element.
+    script;
+
+    // Demarcating edits
+
+    /// Build a
+    /// [`<del>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/del)
+    /// element.
+    del;
+    /// Build a
+    /// [`<ins>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/ins)
+    /// element.
+    ins;
+
+    // Table content
+
+    /// Build a
+    /// [`<caption>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/caption)
+    /// element.
+    caption;
+    /// Build a
+    /// [`<col>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/col)
+    /// element.
+    col;
+    /// Build a
+    /// [`<colgroup>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/colgroup)
+    /// element.
+    colgroup;
+    /// Build a
+    /// [`<table>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/table)
+    /// element.
+    table;
+    /// Build a
+    /// [`<tbody>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tbody)
+    /// element.
+    tbody;
+    /// Build a
+    /// [`<td>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/td)
+    /// element.
+    td;
+    /// Build a
+    /// [`<tfoot>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tfoot)
+    /// element.
+    tfoot;
+    /// Build a
+    /// [`<th>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/th)
+    /// element.
+    th;
+    /// Build a
+    /// [`<thead>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/thead)
+    /// element.
+    thead;
+    /// Build a
+    /// [`<tr>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/tr)
+    /// element.
+    tr;
+
+    // Forms
+
+    /// Build a
+    /// [`<button>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/button)
+    /// element.
+    button;
+    /// Build a
+    /// [`<datalist>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/datalist)
+    /// element.
+    datalist;
+    /// Build a
+    /// [`<fieldset>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/fieldset)
+    /// element.
+    fieldset;
+    /// Build a
+    /// [`<form>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/form)
+    /// element.
+    form;
+    /// Build a
+    /// [`<input>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input)
+    /// element.
+    input;
+    /// Build a
+    /// [`<label>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/label)
+    /// element.
+    label;
+    /// Build a
+    /// [`<legend>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/legend)
+    /// element.
+    legend;
+    /// Build a
+    /// [`<meter>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/meter)
+    /// element.
+    meter;
+    /// Build a
+    /// [`<optgroup>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/optgroup)
+    /// element.
+    optgroup;
+    /// Build a
+    /// [`<option>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/option)
+    /// element.
+    option;
+    /// Build a
+    /// [`<output>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/output)
+    /// element.
+    output;
+    /// Build a
+    /// [`<progress>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/progress)
+    /// element.
+    progress;
+    /// Build a
+    /// [`<select>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/select)
+    /// element.
+    select;
+    /// Build a
+    /// [`<textarea>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/textarea)
+    /// element.
+    textarea;
+
+    // Interactive elements
+
+    /// Build a
+    /// [`<details>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/details)
+    /// element.
+    details;
+    /// Build a
+    /// [`<dialog>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/dialog)
+    /// element.
+    dialog;
+    /// Build a
+    /// [`<menu>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/menu)
+    /// element.
+    menu;
+    /// Build a
+    /// [`<menuitem>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/menuitem)
+    /// element.
+    menuitem;
+    /// Build a
+    /// [`<summary>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/summary)
+    /// element.
+    summary;
+
+    // Web components
+
+    /// Build a
+    /// [`<slot>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/slot)
+    /// element.
+    slot;
+    /// Build a
+    /// [`<template>`](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/template)
+    /// element.
+    template;
+}
+
+builder_constructors! {
+    // SVG components
+
+    /// Build a
+    /// [`<svg>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/svg)
+    /// element.
+    svg <> "http://www.w3.org/2000/svg" ;
+    /// Build a
+    /// [`<path>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/path)
+    /// element.
+    path <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<circle>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/circle)
+    /// element.
+    circle <>  "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<ellipse>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/ellipse)
+    /// element.
+    ellipse <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<line>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/line)
+    /// element.
+    line <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<polygon>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/polygon)
+    /// element.
+    polygon <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<polyline>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/polyline)
+    /// element.
+    polyline <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<rect>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/rect)
+    /// element.
+    rect <> "http://www.w3.org/2000/svg";
+    /// Build a
+    /// [`<image>`](https://developer.mozilla.org/en-US/docs/Web/SVG/Element/image)
+    /// element.
+    image <> "http://www.w3.org/2000/svg";
+}
+
+/// Construct a text node.
+///
+/// This is `dodrio`'s virtual DOM equivalent of `document.createTextNode`.
+///
+/// # Example
+///
+/// ```no_run
+/// use dodrio::builder::*;
+///
+/// let my_text = text("hello, dodrio!");
+/// ```
+#[inline]
+pub fn text<'a>(contents: &'a str) -> Node<'a> {
+    Node::text(contents)
+}
+
+/// Construct an attribute for an element.
+///
+/// # Example
+///
+/// This example creates the `id="my-id"` for some element like `<div
+/// id="my-id"/>`.
+///
+/// ```no_run
+/// use dodrio::builder::*;
+///
+/// let my_id_attr = attr("id", "my-id");
+/// ```
+pub fn attr<'a>(name: &'a str, value: &'a str) -> Attribute<'a> {
+    Attribute { name, value }
+}
+
+// /// Create an event listener.
+// ///
+// /// `event` is the type of event to listen for, e.g. `"click"`. The `callback`
+// /// is the function that will be invoked when the event occurs.
+// ///
+// /// # Example
+// ///
+// /// ```no_run
+// /// use dodrio::{builder::*, bumpalo::Bump};
+// ///
+// /// let b = Bump::new();
+// ///
+// /// let listener = on(&b, "click", |root, vdom, event| {
+// ///     // do something when a click happens...
+// /// });
+// /// ```
+// pub fn on<'a, F>(bump: &'a Bump, event: &'a str, callback: F) -> Listener<'a>
+// where
+//     F: Fn(&mut dyn RootRender, VdomWeak, web_sys::Event) + 'static,
+// {
+//     Listener {
+//         event,
+//         callback: bump.alloc(callback),
+//     }
+// }
diff --git a/packages/core/src/nodes.rs b/packages/core/src/nodes.rs
new file mode 100644
index 000000000..9c16fd537
--- /dev/null
+++ b/packages/core/src/nodes.rs
@@ -0,0 +1,359 @@
+//! Virtual Node Support
+//! VNodes represent lazily-constructed VDom trees that support diffing and event handlers.
+//!
+//! These VNodes should be *very* cheap and *very* fast to construct - building a full tree should be insanely quick.
+
+use std::marker::PhantomData;
+
+use bumpalo::Bump;
+pub use vcomponent::VComponent;
+pub use velement::VElement;
+pub use velement::{Attribute, Listener, NodeKey};
+pub use vnode::VNode;
+pub use vtext::VText;
+
+/// Tools for the base unit of the virtual dom - the VNode
+/// VNodes are intended to be quickly-allocated, lightweight enum values.
+///
+/// Components will be generating a lot of these very quickly, so we want to
+/// limit the amount of heap allocations / overly large enum sizes.
+mod vnode {
+    use super::*;
+
+    pub enum VNode<'src> {
+        /// An element node (node type `ELEMENT_NODE`).
+        Element(VElement<'src>),
+
+        /// A text node (node type `TEXT_NODE`).
+        ///
+        /// Note: This wraps a `VText` instead of a plain `String` in
+        /// order to enable custom methods like `create_text_node()` on the
+        /// wrapped type.
+        Text(VText<'src>),
+
+        /// A "suspended component"
+        /// This is a masqeurade over an underlying future that needs to complete
+        /// When the future is completed, the VNode will then trigger a render
+        Suspended,
+
+        /// A User-defined componen node (node type COMPONENT_NODE)
+        Component(VComponent),
+    }
+
+    impl<'src> VNode<'src> {
+        /// Create a new virtual element node with a given tag.
+        ///
+        /// These get patched into the DOM using `document.createElement`
+        ///
+        /// ```ignore
+        /// let div = VNode::element("div");
+        /// ```
+        pub fn element(tag: &'static str) -> Self {
+            VNode::Element(VElement::new(tag))
+        }
+
+        /// Construct a new text node with the given text.
+        #[inline]
+        pub(crate) fn text(text: &'src str) -> VNode<'src> {
+            VNode::Text(VText { text })
+        }
+        // /// Create a new virtual text node with the given text.
+        // ///
+        // /// These get patched into the DOM using `document.createTextNode`
+        // ///
+        // /// ```ignore
+        // /// let div = VNode::text("div");
+        // /// ```
+        // pub fn text<S>(text: S) -> Self
+        // where
+        //     S: Into<String>,
+        // {
+        //     /*
+        //     TODO
+
+        //     This is an opportunity to be extremely efficient when allocating/creating strings
+        //     To assemble a formatted string, we can, using the macro, borrow all the contents without allocating.
+
+        //     String contents are therefore bump allocated automatically
+
+        //     html!{
+        //         <>"Hello {world}"</>
+        //     }
+
+        //     Should be
+
+        //     ```
+        //     let mut root = VNode::text(["Hello", world]);
+
+        //     ```
+
+        //     */
+        //     VNode::Text(VText::new(text.into()))
+        // }
+
+        // /// Return a [`VElement`] reference, if this is an [`Element`] variant.
+        // ///
+        // /// [`VElement`]: struct.VElement.html
+        // /// [`Element`]: enum.VNode.html#variant.Element
+        // pub fn as_velement_ref(&self) -> Option<&VElement> {
+        //     match self {
+        //         VNode::Element(ref element_node) => Some(element_node),
+        //         _ => None,
+        //     }
+        // }
+
+        // /// Return a mutable [`VElement`] reference, if this is an [`Element`] variant.
+        // ///
+        // /// [`VElement`]: struct.VElement.html
+        // /// [`Element`]: enum.VNode.html#variant.Element
+        // pub fn as_velement_mut(&mut self) -> Option<&mut VElement> {
+        //     match self {
+        //         VNode::Element(ref mut element_node) => Some(element_node),
+        //         _ => None,
+        //     }
+        // }
+
+        // /// Return a [`VText`] reference, if this is an [`Text`] variant.
+        // ///
+        // /// [`VText`]: struct.VText.html
+        // /// [`Text`]: enum.VNode.html#variant.Text
+        // pub fn as_vtext_ref(&self) -> Option<&VText> {
+        //     match self {
+        //         VNode::Text(ref text_node) => Some(text_node),
+        //         _ => None,
+        //     }
+        // }
+
+        // /// Return a mutable [`VText`] reference, if this is an [`Text`] variant.
+        // ///
+        // /// [`VText`]: struct.VText.html
+        // /// [`Text`]: enum.VNode.html#variant.Text
+        // pub fn as_vtext_mut(&mut self) -> Option<&mut VText> {
+        //     match self {
+        //         VNode::Text(ref mut text_node) => Some(text_node),
+        //         _ => None,
+        //     }
+        // }
+
+        // /// Used by html-macro to insert space before text that is inside of a block that came after
+        // /// an open tag.
+        // ///
+        // /// html! { <div> {world}</div> }
+        // ///
+        // /// So that we end up with <div> world</div> when we're finished parsing.
+        // pub fn insert_space_before_text(&mut self) {
+        //     match self {
+        //         VNode::Text(text_node) => {
+        //             text_node.text = " ".to_string() + &text_node.text;
+        //         }
+        //         _ => {}
+        //     }
+        // }
+
+        // /// Used by html-macro to insert space after braced text if we know that the next block is
+        // /// another block or a closing tag.
+        // ///
+        // /// html! { <div>{Hello} {world}</div> } -> <div>Hello world</div>
+        // /// html! { <div>{Hello} </div> } -> <div>Hello </div>
+        // ///
+        // /// So that we end up with <div>Hello world</div> when we're finished parsing.
+        // pub fn insert_space_after_text(&mut self) {
+        //     match self {
+        //         VNode::Text(text_node) => {
+        //             text_node.text += " ";
+        //         }
+        //         _ => {}
+        //     }
+        // }
+    }
+
+    // -----------------------------------------------
+    //  Convert from DOM elements to the primary enum
+    // -----------------------------------------------
+    // impl From<VText> for VNode {
+    //     fn from(other: VText) -> Self {
+    //         VNode::Text(other)
+    //     }
+    // }
+
+    // impl From<VElement> for VNode {
+    //     fn from(other: VElement) -> Self {
+    //         VNode::Element(other)
+    //     }
+    // }
+}
+
+mod velement {
+    use super::*;
+    use std::collections::HashMap;
+
+    pub struct VElement<'a> {
+        /// The HTML tag, such as "div"
+        pub tag: &'a str,
+
+        pub tag_name: &'a str,
+        pub attributes: &'a [Attribute<'a>],
+        // todo: hook up listeners
+        // pub listeners: &'a [Listener<'a>],
+        // / HTML attributes such as id, class, style, etc
+        // pub attrs: HashMap<String, String>,
+        // TODO: @JON Get this to not heap allocate, but rather borrow
+        // pub attrs: HashMap<&'static str, &'static str>,
+
+        // TODO @Jon, re-enable "events"
+        //
+        // /// Events that will get added to your real DOM element via `.addEventListener`
+        // pub events: Events,
+        // pub events: HashMap<String, ()>,
+
+        // /// The children of this `VNode`. So a <div> <em></em> </div> structure would
+        // /// have a parent div and one child, em.
+        // pub children: Vec<VNode>,
+    }
+
+    impl<'a> VElement<'a> {
+        // The tag of a component MUST be known at compile time
+        pub fn new(tag: &'a str) -> Self {
+            todo!()
+            // VElement {
+            //     tag,
+            //     attrs: HashMap::new(),
+            //     events: HashMap::new(),
+            //     // events: Events(HashMap::new()),
+            //     children: vec![],
+            // }
+        }
+    }
+
+    /// An attribute on a DOM node, such as `id="my-thing"` or
+    /// `href="https://example.com"`.
+    #[derive(Clone, Debug)]
+    pub struct Attribute<'a> {
+        pub(crate) name: &'a str,
+        pub(crate) value: &'a str,
+    }
+
+    impl<'a> Attribute<'a> {
+        /// Get this attribute's name, such as `"id"` in `<div id="my-thing" />`.
+        #[inline]
+        pub fn name(&self) -> &'a str {
+            self.name
+        }
+
+        /// The attribute value, such as `"my-thing"` in `<div id="my-thing" />`.
+        #[inline]
+        pub fn value(&self) -> &'a str {
+            self.value
+        }
+
+        /// Certain attributes are considered "volatile" and can change via user
+        /// input that we can't see when diffing against the old virtual DOM. For
+        /// these attributes, we want to always re-set the attribute on the physical
+        /// DOM node, even if the old and new virtual DOM nodes have the same value.
+        #[inline]
+        pub(crate) fn is_volatile(&self) -> bool {
+            match self.name {
+                "value" | "checked" | "selected" => true,
+                _ => false,
+            }
+        }
+    }
+
+    /// An event listener.
+    pub struct Listener<'a> {
+        /// The type of event to listen for.
+        pub(crate) event: &'a str,
+        /// The callback to invoke when the event happens.
+        pub(crate) callback: &'a (dyn Fn()),
+    }
+
+    /// The key for keyed children.
+    ///
+    /// Keys must be unique among siblings.
+    ///
+    /// If any sibling is keyed, then they all must be keyed.
+    #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
+    pub struct NodeKey(pub(crate) u32);
+
+    impl Default for NodeKey {
+        fn default() -> NodeKey {
+            NodeKey::NONE
+        }
+    }
+    impl NodeKey {
+        /// The default, lack of a key.
+        pub const NONE: NodeKey = NodeKey(u32::MAX);
+
+        /// Is this key `NodeKey::NONE`?
+        #[inline]
+        pub fn is_none(&self) -> bool {
+            *self == Self::NONE
+        }
+
+        /// Is this key not `NodeKey::NONE`?
+        #[inline]
+        pub fn is_some(&self) -> bool {
+            !self.is_none()
+        }
+
+        /// Create a new `NodeKey`.
+        ///
+        /// `key` must not be `u32::MAX`.
+        #[inline]
+        pub fn new(key: u32) -> Self {
+            debug_assert_ne!(key, u32::MAX);
+            NodeKey(key)
+        }
+    }
+
+    // todo
+    // use zst enum for element type. Something like ValidElements::div
+}
+
+mod vtext {
+    #[derive(PartialEq)]
+    pub struct VText<'a> {
+        pub text: &'a str,
+    }
+
+    impl<'a> VText<'a> {
+        // / Create an new `VText` instance with the specified text.
+        // pub fn new<S>(text: S) -> Self
+        // where
+        //     S: Into<String>,
+        // {
+        //     VText { text: text.into() }
+        // }
+    }
+}
+
+/// Virtual Components for custom user-defined components
+/// Only supports the functional syntax
+mod vcomponent {
+    use crate::virtual_dom::Properties;
+    use std::{any::TypeId, fmt, future::Future};
+
+    use super::VNode;
+    #[derive(PartialEq)]
+    pub struct VComponent {
+        // props_id: TypeId,
+    // callerIDs are unsafely coerced to function pointers
+    // This is okay because #1, we store the props_id and verify and 2# the html! macro rejects components not made this way
+    //
+    // Manually constructing the VComponent is not possible from 3rd party crates
+    }
+
+    impl VComponent {
+        // /// Construct a VComponent directly from a function component
+        // /// This should be *very* fast - we store the function pointer and props type ID. It should also be small on the stack
+        // pub fn from_fn<P: Properties>(f: FC<P>, props: P) -> Self {
+        //     // // Props needs to be static
+        //     // let props_id = std::any::TypeId::of::<P>();
+
+        //     // // Cast the caller down
+
+        //     // Self { props_id }
+        //     Self {}
+        // }
+    }
+}
diff --git a/packages/core/src/old.rs b/packages/core/src/old.rs
index adecc96b9..59ab09842 100644
--- a/packages/core/src/old.rs
+++ b/packages/core/src/old.rs
@@ -241,3 +241,766 @@ mod old2 {
         }
     }
 }
+
+mod text {
+    //! Old methods that clouded the element implementation
+    //! These all add a dedicated text renderer implementation
+
+    mod vnode {
+
+        impl From<&str> for VNode {
+            fn from(other: &str) -> Self {
+                VNode::text(other)
+            }
+        }
+
+        impl From<String> for VNode {
+            fn from(other: String) -> Self {
+                VNode::text(other.as_str())
+            }
+        }
+
+        // -----------------------------------------------
+        //  Allow VNodes to be iterated for map-based UI
+        // -----------------------------------------------
+        impl IntoIterator for VNode {
+            type Item = VNode;
+            // TODO: Is this possible with an array [VNode] instead of a vec?
+            type IntoIter = ::std::vec::IntoIter<VNode>;
+
+            fn into_iter(self) -> Self::IntoIter {
+                vec![self].into_iter()
+            }
+        }
+
+        impl Into<::std::vec::IntoIter<VNode>> for VNode {
+            fn into(self) -> ::std::vec::IntoIter<VNode> {
+                self.into_iter()
+            }
+        }
+
+        // -----------------------------------------------
+        //  Allow debug/display adherent to the HTML spec
+        // -----------------------------------------------
+        use std::fmt;
+        impl fmt::Debug for VNode {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                match self {
+                    VNode::Element(e) => write!(f, "Node::{:?}", e),
+                    VNode::Text(t) => write!(f, "Node::{:?}", t),
+                    VNode::Component(c) => write!(f, "Node::{:?}", c),
+                }
+            }
+        }
+
+        // Turn a VNode into an HTML string (delegate impl to variants)
+        impl fmt::Display for VNode {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                match self {
+                    VNode::Element(element) => write!(f, "{}", element),
+                    VNode::Text(text) => write!(f, "{}", text),
+                    VNode::Component(c) => write!(f, "{}", c),
+                }
+            }
+        }
+    }
+
+    mod velement {
+        // -----------------------------------------------
+        //  Allow debug/display adherent to the HTML spec
+        // -----------------------------------------------
+        use std::fmt;
+        impl fmt::Debug for VElement {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                write!(
+                    f,
+                    "Element(<{}>, attrs: {:?}, children: {:?})",
+                    self.tag, self.attrs, self.children,
+                )
+            }
+        }
+
+        impl fmt::Display for VElement {
+            // Turn a VElement and all of it's children (recursively) into an HTML string
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                write!(f, "<{}", self.tag).unwrap();
+
+                for (attr, value) in self.attrs.iter() {
+                    write!(f, r#" {}="{}""#, attr, value)?;
+                }
+
+                write!(f, ">")?;
+
+                for child in self.children.iter() {
+                    write!(f, "{}", child.to_string())?;
+                }
+
+                if !crate::validation::is_self_closing(&self.tag) {
+                    write!(f, "</{}>", self.tag)?;
+                }
+
+                Ok(())
+            }
+        }
+    }
+
+    mod vtext {
+        // -----------------------------------------------
+        //  Convert from primitives directly into VText
+        // -----------------------------------------------
+        impl From<&str> for VText {
+            fn from(text: &str) -> Self {
+                VText {
+                    text: text.to_string(),
+                }
+            }
+        }
+
+        impl From<String> for VText {
+            fn from(text: String) -> Self {
+                VText { text }
+            }
+        }
+
+        // -----------------------------------------------
+        //  Allow debug/display adherent to the HTML spec
+        // -----------------------------------------------
+        use std::fmt;
+        impl fmt::Debug for VText {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                write!(f, "Text({})", self.text)
+            }
+        }
+
+        // Turn a VText into an HTML string
+        impl fmt::Display for VText {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                write!(f, "{}", self.text)
+            }
+        }
+    }
+
+    mod iterables {
+
+        // TODO @Jon
+        // Set this up so instead of the view trait, we can just take functions
+        // Functions with no context should just be rendered
+        // But functions with a context should be treated as regular components
+
+        // impl<V: View> From<Vec<V>> for IterableNodes {
+        //     fn from(other: Vec<V>) -> Self {
+        //         IterableNodes(other.into_iter().map(|it| it.render()).collect())
+        //     }
+        // }
+
+        // impl<V: View> From<&Vec<V>> for IterableNodes {
+        //     fn from(other: &Vec<V>) -> Self {
+        //         IterableNodes(other.iter().map(|it| it.render()).collect())
+        //     }
+        // }
+
+        // impl<V: View> From<&[V]> for IterableNodes {
+        //     fn from(other: &[V]) -> Self {
+        //         IterableNodes(other.iter().map(|it| it.render()).collect())
+        //     }
+        // }
+
+        impl From<&str> for IterableNodes {
+            fn from(other: &str) -> Self {
+                IterableNodes(vec![VNode::text(other)])
+            }
+        }
+
+        impl From<String> for IterableNodes {
+            fn from(other: String) -> Self {
+                IterableNodes(vec![VNode::text(other.as_str())])
+            }
+        }
+    }
+
+    mod tests {
+        #[cfg(test)]
+        mod tests {
+            use super::*;
+
+            #[test]
+            fn self_closing_tag_to_string() {
+                let node = VNode::element("br");
+
+                // No </br> since self closing tag
+                assert_eq!(&node.to_string(), "<br>");
+            }
+
+            #[test]
+            fn to_string() {
+                let mut node = VNode::Element(VElement::new("div"));
+                node.as_velement_mut()
+                    .unwrap()
+                    .attrs
+                    .insert("id".into(), "some-id".into());
+
+                let mut child = VNode::Element(VElement::new("span"));
+
+                let mut text = VNode::Text(VText::new("Hello world"));
+
+                child.as_velement_mut().unwrap().children.push(text);
+
+                node.as_velement_mut().unwrap().children.push(child);
+
+                let expected = r#"<div id="some-id"><span>Hello world</span></div>"#;
+
+                assert_eq!(node.to_string(), expected);
+            }
+        }
+    }
+
+    mod ddiff {
+        /// The diffing algorithm to compare two VNode trees and generate a list of patches to update the VDom.
+        /// Currently, using an index-based patching algorithm
+        ///
+        pub mod diff {
+            use super::*;
+            use crate::nodes::{VNode, VText};
+            use std::cmp::min;
+            use std::collections::HashMap;
+            use std::mem;
+
+            // pub use apply_patches::patch;
+
+            /// A Patch encodes an operation that modifies a real DOM element.
+            ///
+            /// To update the real DOM that a user sees you'll want to first diff your
+            /// old virtual dom and new virtual dom.
+            ///
+            /// This diff operation will generate `Vec<Patch>` with zero or more patches that, when
+            /// applied to your real DOM, will make your real DOM look like your new virtual dom.
+            ///
+            /// Each Patch has a u32 node index that helps us identify the real DOM node that it applies to.
+            ///
+            /// Our old virtual dom's nodes are indexed depth first, as shown in this illustration
+            /// (0 being the root node, 1 being it's first child, 2 being it's first child's first child).
+            ///
+            /// ```text
+            ///             .─.
+            ///            ( 0 )
+            ///             `┬'
+            ///         ┌────┴──────┐
+            ///         │           │
+            ///         ▼           ▼
+            ///        .─.         .─.
+            ///       ( 1 )       ( 4 )
+            ///        `┬'         `─'
+            ///    ┌────┴───┐       │
+            ///    │        │       ├─────┬─────┐
+            ///    ▼        ▼       │     │     │
+            ///   .─.      .─.      ▼     ▼     ▼
+            ///  ( 2 )    ( 3 )    .─.   .─.   .─.
+            ///   `─'      `─'    ( 5 ) ( 6 ) ( 7 )
+            ///                    `─'   `─'   `─'
+            /// ```
+            ///
+            /// The patching process is tested in a real browser in crates/virtual-dom-rs/tests/diff_patch.rs
+            #[derive(PartialEq)]
+            pub enum Patch<'a> {
+                /// Append a vector of child nodes to a parent node id.
+                AppendChildren(NodeIdx, Vec<&'a VNode>),
+                /// For a `node_i32`, remove all children besides the first `len`
+                TruncateChildren(NodeIdx, usize),
+                /// Replace a node with another node. This typically happens when a node's tag changes.
+                /// ex: <div> becomes <span>
+                Replace(NodeIdx, &'a VNode),
+                /// Add attributes that the new node has that the old node does not
+                AddAttributes(NodeIdx, HashMap<&'a str, &'a str>),
+                /// Remove attributes that the old node had that the new node doesn't
+                RemoveAttributes(NodeIdx, Vec<&'a str>),
+                /// Change the text of a Text node.
+                ChangeText(NodeIdx, &'a VText),
+            }
+
+            type NodeIdx = usize;
+
+            impl<'a> Patch<'a> {
+                /// Every Patch is meant to be applied to a specific node within the DOM. Get the
+                /// index of the DOM node that this patch should apply to. DOM nodes are indexed
+                /// depth first with the root node in the tree having index 0.
+                pub fn node_idx(&self) -> usize {
+                    match self {
+                        Patch::AppendChildren(node_idx, _) => *node_idx,
+                        Patch::TruncateChildren(node_idx, _) => *node_idx,
+                        Patch::Replace(node_idx, _) => *node_idx,
+                        Patch::AddAttributes(node_idx, _) => *node_idx,
+                        Patch::RemoveAttributes(node_idx, _) => *node_idx,
+                        Patch::ChangeText(node_idx, _) => *node_idx,
+                    }
+                }
+            }
+
+            /// Given two VNode's generate Patch's that would turn the old virtual node's
+            /// real DOM node equivalent into the new VNode's real DOM node equivalent.
+            pub fn diff_vnodes<'a>(old: &'a VNode, new: &'a VNode) -> Vec<Patch<'a>> {
+                diff_recursive(&old, &new, &mut 0)
+            }
+
+            fn diff_recursive<'a, 'b>(
+                old: &'a VNode,
+                new: &'a VNode,
+                cur_node_idx: &'b mut usize,
+            ) -> Vec<Patch<'a>> {
+                let mut patches = vec![];
+                let mut replace = false;
+
+                // Different enum variants, replace!
+                // VNodes are of different types, and therefore will cause a re-render.
+                // TODO: Handle previously-mounted children so they don't get re-mounted
+                if mem::discriminant(old) != mem::discriminant(new) {
+                    replace = true;
+                }
+
+                if let (VNode::Element(old_element), VNode::Element(new_element)) = (old, new) {
+                    // Replace if there are different element tags
+                    if old_element.tag != new_element.tag {
+                        replace = true;
+                    }
+
+                    // Replace if two elements have different keys
+                    // TODO: More robust key support. This is just an early stopgap to allow you to force replace
+                    // an element... say if it's event changed. Just change the key name for now.
+                    // In the future we want keys to be used to create a Patch::ReOrder to re-order siblings
+                    if old_element.attrs.get("key").is_some()
+                        && old_element.attrs.get("key") != new_element.attrs.get("key")
+                    {
+                        replace = true;
+                    }
+                }
+
+                // Handle replacing of a node
+                if replace {
+                    patches.push(Patch::Replace(*cur_node_idx, &new));
+                    if let VNode::Element(old_element_node) = old {
+                        for child in old_element_node.children.iter() {
+                            increment_node_idx_for_children(child, cur_node_idx);
+                        }
+                    }
+                    return patches;
+                }
+
+                // The following comparison can only contain identical variants, other
+                // cases have already been handled above by comparing variant
+                // discriminants.
+                match (old, new) {
+                    // We're comparing two text nodes
+                    (VNode::Text(old_text), VNode::Text(new_text)) => {
+                        if old_text != new_text {
+                            patches.push(Patch::ChangeText(*cur_node_idx, &new_text));
+                        }
+                    }
+
+                    // We're comparing two element nodes
+                    (VNode::Element(old_element), VNode::Element(new_element)) => {
+                        let mut add_attributes: HashMap<&str, &str> = HashMap::new();
+                        let mut remove_attributes: Vec<&str> = vec![];
+
+                        // TODO: -> split out into func
+                        for (new_attr_name, new_attr_val) in new_element.attrs.iter() {
+                            match old_element.attrs.get(new_attr_name) {
+                                Some(ref old_attr_val) => {
+                                    if old_attr_val != &new_attr_val {
+                                        add_attributes.insert(new_attr_name, new_attr_val);
+                                    }
+                                }
+                                None => {
+                                    add_attributes.insert(new_attr_name, new_attr_val);
+                                }
+                            };
+                        }
+
+                        // TODO: -> split out into func
+                        for (old_attr_name, old_attr_val) in old_element.attrs.iter() {
+                            if add_attributes.get(&old_attr_name[..]).is_some() {
+                                continue;
+                            };
+
+                            match new_element.attrs.get(old_attr_name) {
+                                Some(ref new_attr_val) => {
+                                    if new_attr_val != &old_attr_val {
+                                        remove_attributes.push(old_attr_name);
+                                    }
+                                }
+                                None => {
+                                    remove_attributes.push(old_attr_name);
+                                }
+                            };
+                        }
+
+                        if add_attributes.len() > 0 {
+                            patches.push(Patch::AddAttributes(*cur_node_idx, add_attributes));
+                        }
+                        if remove_attributes.len() > 0 {
+                            patches.push(Patch::RemoveAttributes(*cur_node_idx, remove_attributes));
+                        }
+
+                        let old_child_count = old_element.children.len();
+                        let new_child_count = new_element.children.len();
+
+                        if new_child_count > old_child_count {
+                            let append_patch: Vec<&'a VNode> =
+                                new_element.children[old_child_count..].iter().collect();
+                            patches.push(Patch::AppendChildren(*cur_node_idx, append_patch))
+                        }
+
+                        if new_child_count < old_child_count {
+                            patches.push(Patch::TruncateChildren(*cur_node_idx, new_child_count))
+                        }
+
+                        let min_count = min(old_child_count, new_child_count);
+                        for index in 0..min_count {
+                            *cur_node_idx = *cur_node_idx + 1;
+                            let old_child = &old_element.children[index];
+                            let new_child = &new_element.children[index];
+                            patches.append(&mut diff_recursive(
+                                &old_child,
+                                &new_child,
+                                cur_node_idx,
+                            ))
+                        }
+                        if new_child_count < old_child_count {
+                            for child in old_element.children[min_count..].iter() {
+                                increment_node_idx_for_children(child, cur_node_idx);
+                            }
+                        }
+                    }
+                    (VNode::Text(_), VNode::Element(_)) | (VNode::Element(_), VNode::Text(_)) => {
+                        unreachable!(
+                            "Unequal variant discriminants should already have been handled"
+                        );
+                    }
+                    _ => todo!("Diffing Not yet implemented for all node types"),
+                };
+
+                //    new_root.create_element()
+                patches
+            }
+
+            fn increment_node_idx_for_children<'a, 'b>(
+                old: &'a VNode,
+                cur_node_idx: &'b mut usize,
+            ) {
+                *cur_node_idx += 1;
+                if let VNode::Element(element_node) = old {
+                    for child in element_node.children.iter() {
+                        increment_node_idx_for_children(&child, cur_node_idx);
+                    }
+                }
+            }
+
+            // #[cfg(test)]
+            // mod tests {
+            //     use super::*;
+            //     use crate::prelude::*;
+            //     type VirtualNode = VNode;
+
+            //     /// Test that we generate the right Vec<Patch> for some start and end virtual dom.
+            //     pub struct DiffTestCase<'a> {
+            //         // ex: "Patching root level nodes works"
+            //         pub description: &'static str,
+            //         // ex: html! { <div> </div> }
+            //         pub old: VNode,
+            //         // ex: html! { <strong> </strong> }
+            //         pub new: VNode,
+            //         // ex: vec![Patch::Replace(0, &html! { <strong></strong> })],
+            //         pub expected: Vec<Patch<'a>>,
+            //     }
+
+            //     impl<'a> DiffTestCase<'a> {
+            //         pub fn test(&self) {
+            //             // ex: vec![Patch::Replace(0, &html! { <strong></strong> })],
+            //             let patches = diff_vnodes(&self.old, &self.new);
+
+            //             assert_eq!(patches, self.expected, "{}", self.description);
+            //         }
+            //     }
+            //     use super::*;
+            //     use crate::nodes::{VNode, VText};
+            //     use std::collections::HashMap;
+
+            //     #[test]
+            //     fn replace_node() {
+            //         DiffTestCase {
+            //             description: "Replace the root if the tag changed",
+            //             old: html! { <div> </div> },
+            //             new: html! { <span> </span> },
+            //             expected: vec![Patch::Replace(0, &html! { <span></span> })],
+            //         }
+            //         .test();
+            //         DiffTestCase {
+            //             description: "Replace a child node",
+            //             old: html! { <div> <b></b> </div> },
+            //             new: html! { <div> <strong></strong> </div> },
+            //             expected: vec![Patch::Replace(1, &html! { <strong></strong> })],
+            //         }
+            //         .test();
+            //         DiffTestCase {
+            //             description: "Replace node with a child",
+            //             old: html! { <div> <b>1</b> <b></b> </div> },
+            //             new: html! { <div> <i>1</i> <i></i> </div>},
+            //             expected: vec![
+            //                 Patch::Replace(1, &html! { <i>1</i> }),
+            //                 Patch::Replace(3, &html! { <i></i> }),
+            //             ], //required to check correct index
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn add_children() {
+            //         DiffTestCase {
+            //             description: "Added a new node to the root node",
+            //             old: html! { <div> <b></b> </div> },
+            //             new: html! { <div> <b></b> <span></span> </div> },
+            //             expected: vec![Patch::AppendChildren(0, vec![&html! { <span></span> }])],
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn remove_nodes() {
+            //         DiffTestCase {
+            //             description: "Remove all child nodes at and after child sibling index 1",
+            //             old: html! { <div> <b></b> <span></span> </div> },
+            //             new: html! { <div> </div> },
+            //             expected: vec![Patch::TruncateChildren(0, 0)],
+            //         }
+            //         .test();
+            //         DiffTestCase {
+            //             description: "Remove a child and a grandchild node",
+            //             old: html! {
+            //             <div>
+            //              <span>
+            //                <b></b>
+            //                // This `i` tag will get removed
+            //                <i></i>
+            //              </span>
+            //              // This `strong` tag will get removed
+            //              <strong></strong>
+            //             </div> },
+            //             new: html! {
+            //             <div>
+            //              <span>
+            //               <b></b>
+            //              </span>
+            //             </div> },
+            //             expected: vec![Patch::TruncateChildren(0, 1), Patch::TruncateChildren(1, 1)],
+            //         }
+            //         .test();
+            //         DiffTestCase {
+            //             description: "Removing child and change next node after parent",
+            //             old: html! { <div> <b> <i></i> <i></i> </b> <b></b> </div> },
+            //             new: html! { <div> <b> <i></i> </b> <i></i> </div>},
+            //             expected: vec![
+            //                 Patch::TruncateChildren(1, 1),
+            //                 Patch::Replace(4, &html! { <i></i> }),
+            //             ], //required to check correct index
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn add_attributes() {
+            //         let mut attributes = HashMap::new();
+            //         attributes.insert("id", "hello");
+
+            //         DiffTestCase {
+            //             old: html! { <div> </div> },
+            //             new: html! { <div id="hello"> </div> },
+            //             expected: vec![Patch::AddAttributes(0, attributes.clone())],
+            //             description: "Add attributes",
+            //         }
+            //         .test();
+
+            //         DiffTestCase {
+            //             old: html! { <div id="foobar"> </div> },
+            //             new: html! { <div id="hello"> </div> },
+            //             expected: vec![Patch::AddAttributes(0, attributes)],
+            //             description: "Change attribute",
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn remove_attributes() {
+            //         DiffTestCase {
+            //             old: html! { <div id="hey-there"></div> },
+            //             new: html! { <div> </div> },
+            //             expected: vec![Patch::RemoveAttributes(0, vec!["id"])],
+            //             description: "Add attributes",
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn change_attribute() {
+            //         let mut attributes = HashMap::new();
+            //         attributes.insert("id", "changed");
+
+            //         DiffTestCase {
+            //             description: "Add attributes",
+            //             old: html! { <div id="hey-there"></div> },
+            //             new: html! { <div id="changed"> </div> },
+            //             expected: vec![Patch::AddAttributes(0, attributes)],
+            //         }
+            //         .test();
+            //     }
+
+            //     #[test]
+            //     fn replace_text_node() {
+            //         DiffTestCase {
+            //             description: "Replace text node",
+            //             old: html! { Old },
+            //             new: html! { New },
+            //             expected: vec![Patch::ChangeText(0, &VText::new("New"))],
+            //         }
+            //         .test();
+            //     }
+
+            //     // Initially motivated by having two elements where all that changed was an event listener
+            //     // because right now we don't patch event listeners. So.. until we have a solution
+            //     // for that we can just give them different keys to force a replace.
+            //     #[test]
+            //     fn replace_if_different_keys() {
+            //         DiffTestCase {
+            //             description: "If two nodes have different keys always generate a full replace.",
+            //             old: html! { <div key="1"> </div> },
+            //             new: html! { <div key="2"> </div> },
+            //             expected: vec![Patch::Replace(0, &html! {<div key="2"> </div>})],
+            //         }
+            //         .test()
+            //     }
+
+            //     //    // TODO: Key support
+            //     //    #[test]
+            //     //    fn reorder_chldren() {
+            //     //        let mut attributes = HashMap::new();
+            //     //        attributes.insert("class", "foo");
+            //     //
+            //     //        let old_children = vec![
+            //     //            // old node 0
+            //     //            html! { <div key="hello", id="same-id", style="",></div> },
+            //     //            // removed
+            //     //            html! { <div key="gets-removed",> { "This node gets removed"} </div>},
+            //     //            // old node 2
+            //     //            html! { <div key="world", class="changed-class",></div>},
+            //     //            // removed
+            //     //            html! { <div key="this-got-removed",> { "This node gets removed"} </div>},
+            //     //        ];
+            //     //
+            //     //        let new_children = vec![
+            //     //            html! { <div key="world", class="foo",></div> },
+            //     //            html! { <div key="new",> </div>},
+            //     //            html! { <div key="hello", id="same-id",></div>},
+            //     //        ];
+            //     //
+            //     //        test(DiffTestCase {
+            //     //            old: html! { <div> { old_children } </div> },
+            //     //            new: html! { <div> { new_children } </div> },
+            //     //            expected: vec![
+            //     //                // TODO: Come up with the patch structure for keyed nodes..
+            //     //                // keying should only work if all children have keys..
+            //     //            ],
+            //     //            description: "Add attributes",
+            //     //        })
+            //     //    }
+            // }
+        }
+    }
+
+    mod vcomponent {
+        // -----------------------------------------------
+        //  Allow debug/display adherent to the HTML spec
+        // -----------------------------------------------
+
+        impl fmt::Debug for VComponent {
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                // TODO: @JON Implement how components should be formatted when spit out to html
+                // It probably can't be as straightforward as renderinng their VNodes
+                // It _could_ be, but we can't really implement that directly
+                // Instead, we should drop a vnode labeled with the component id/key
+
+                // write!(
+                //     f,
+                //     "Element(<{}>, attrs: {:?}, children: {:?})",
+                //     self.tag, self.attrs, self.children,
+                // )
+                Ok(())
+            }
+        }
+
+        impl fmt::Display for VComponent {
+            // Turn a VElement and all of it's children (recursively) into an HTML string
+            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+                // write!(f, "<{}", self.tag).unwrap();
+
+                // for (attr, value) in self.attrs.iter() {
+                //     write!(f, r#" {}="{}""#, attr, value)?;
+                // }
+
+                // write!(f, ">")?;
+
+                // for child in self.children.iter() {
+                //     write!(f, "{}", child.to_string())?;
+                // }
+
+                // if !crate::validation::is_self_closing(&self.tag) {
+                //     write!(f, "</{}>", self.tag)?;
+                // }
+
+                Ok(())
+            }
+        }
+    }
+}
+
+// pub mod iterables {
+//     use super::*;
+
+//     /// Used by the html! macro for all braced child nodes so that we can use any type
+//     /// that implements Into<IterableNodes>
+//     ///
+//     /// html! { <div> { nodes } </div> }
+//     ///
+//     /// nodes can be a String .. VNode .. Vec<VNode> ... etc
+//     pub struct IterableNodes(Vec<VNode>);
+
+//     impl IterableNodes {
+//         /// Retrieve the first node mutably
+//         pub fn first(&mut self) -> &mut VNode {
+//             self.0.first_mut().unwrap()
+//         }
+
+//         /// Retrieve the last node mutably
+//         pub fn last(&mut self) -> &mut VNode {
+//             self.0.last_mut().unwrap()
+//         }
+//     }
+
+//     impl IntoIterator for IterableNodes {
+//         type Item = VNode;
+//         // TODO: Is this possible with an array [VNode] instead of a vec?
+//         type IntoIter = ::std::vec::IntoIter<VNode>;
+
+//         fn into_iter(self) -> Self::IntoIter {
+//             self.0.into_iter()
+//         }
+//     }
+
+//     impl From<VNode> for IterableNodes {
+//         fn from(other: VNode) -> Self {
+//             IterableNodes(vec![other])
+//         }
+//     }
+
+//     impl From<Vec<VNode>> for IterableNodes {
+//         fn from(other: Vec<VNode>) -> Self {
+//             IterableNodes(other)
+//         }
+//     }
+// }
diff --git a/packages/core/src/validation.rs b/packages/core/src/validation.rs
new file mode 100644
index 000000000..f7dd66994
--- /dev/null
+++ b/packages/core/src/validation.rs
@@ -0,0 +1,37 @@
+/// TODO @Jon
+/// Figure out if validation should be its own crate, or embedded directly into dioxus
+///
+/// Should we even be bothered with validation?
+///
+///
+///
+mod validation {
+    use once_cell::sync::Lazy;
+    use std::collections::HashSet;
+
+    // Used to uniquely identify elements that contain closures so that the DomUpdater can
+    // look them up by their unique id.
+    // When the DomUpdater sees that the element no longer exists it will drop all of it's
+    // Rc'd Closures for those events.
+    static SELF_CLOSING_TAGS: Lazy<HashSet<&'static str>> = Lazy::new(|| {
+        [
+            "area", "base", "br", "col", "hr", "img", "input", "link", "meta", "param", "command",
+            "keygen", "source",
+        ]
+        .iter()
+        .cloned()
+        .collect()
+    });
+
+    /// Whether or not this tag is self closing
+    ///
+    /// ```ignore
+    /// use dioxus_core::validation::is_self_closing;
+    /// assert_eq!(is_self_closing("br"), true);
+    /// assert_eq!(is_self_closing("div"), false);
+    /// ```
+    pub fn is_self_closing(tag: &str) -> bool {
+        SELF_CLOSING_TAGS.contains(tag)
+        // SELF_CLOSING_TAGS.contains(tag) || is_self_closing_svg_tag(tag)
+    }
+}
diff --git a/packages/core/src/virtual_dom.rs b/packages/core/src/virtual_dom.rs
new file mode 100644
index 000000000..c959b6548
--- /dev/null
+++ b/packages/core/src/virtual_dom.rs
@@ -0,0 +1,278 @@
+/*
+The Dioxus Virtual Dom integrates an event system and virtual nodes to create reactive user interfaces.
+
+The Dioxus VDom uses the same underlying mechanics as Dodrio (double buffering, bump dom, etc).
+Instead of making the allocator very obvious, we choose to parametrize over the DomTree trait. For our purposes,
+the DomTree trait is simply an abstraction over a lazy dom builder, much like the iterator trait.
+
+This means we can accept DomTree anywhere as well as return it. All components therefore look like this:
+```ignore
+function Component(ctx: Context<()>) -> impl DomTree {
+    html! {<div> "hello world" </div>}
+}
+```
+It's not quite as sexy as statics, but there's only so much you can do. The goal is to get statics working with the FC macro,
+so types don't get in the way of you and your component writing. Fortunately, this is all generic enough to be split out
+into its own lib (IE, lazy loading wasm chunks by function (exciting stuff!))
+
+```ignore
+#[fc] // gets translated into a function.
+static Component: FC = |ctx| {
+    html! {<div> "hello world" </div>}
+}
+```
+
+
+This module includes all life-cycle related mechanics, including the virtual dom, scopes, properties, and lifecycles.
+---
+The VirtualDom is designed as so:
+
+VDOM contains:
+    - An arena of component scopes.
+        - A scope contains
+            - lifecycle data
+            - hook data
+    - Event queue
+        - An event
+
+A VDOM is
+    - constructed from anything that implements "component"
+
+A "Component" is anything (normally functions) that can be ran with a context to produce VNodes
+    - Must implement properties-builder trait which produces a properties builder
+
+A Context
+    - Is a consumable struct
+        - Made of references to properties
+        - Holds a reference (lockable) to the underlying scope
+        - Is partially threadsafe
+*/
+use crate::nodes::VNode;
+use crate::prelude::*;
+use bumpalo::Bump;
+use generational_arena::Arena;
+use std::future::Future;
+
+/// An integrated virtual node system that progresses events and diffs UI trees.
+/// Differences are converted into patches which a renderer can use to draw the UI.
+pub struct VirtualDom {
+    /// All mounted components are arena allocated to make additions, removals, and references easy to work with
+    /// A generational arean is used to re-use slots of deleted scopes without having to resize the underlying arena.
+    components: Arena<Scope>,
+
+    /// Components generate lifecycle events
+    event_queue: Vec<LifecycleEvent>,
+
+    buffers: [Bump; 2],
+}
+
+impl VirtualDom {
+    /// Create a new instance of the Dioxus Virtual Dom with no properties for the root component.
+    ///
+    /// This means that the root component must either consumes its own context, or statics are used to generate the page.
+    /// The root component can access things like routing in its context.
+    pub fn new<F: DomTree>(root: FC<(), F>) -> Self {
+        Self::new_with_props(root)
+    }
+
+    /// Start a new VirtualDom instance with a dependent props.
+    /// Later, the props can be updated by calling "update" with a new set of props, causing a set of re-renders.
+    ///
+    /// This is useful when a component tree can be driven by external state (IE SSR) but it would be too expensive
+    /// to toss out the entire tree.
+    pub fn new_with_props<P: Properties, F: DomTree>(root: FC<P, F>) -> Self {
+        Self {
+            components: Arena::new(),
+            event_queue: vec![],
+            buffers: [Bump::new(), Bump::new()],
+        }
+    }
+
+    /// Pop an event off the even queue and process it
+    pub fn progress_event() {}
+}
+
+/// The internal lifecycle event system is managed by these
+/// All events need to be confused before swapping doms over
+pub enum LifecycleEvent {
+    Add {},
+}
+
+/// Anything that takes a "bump" and returns VNodes is a "DomTree"
+/// This is used as a "trait alias" for function return types to look less hair
+pub trait DomTree {
+    fn render(self, b: &Bump) -> VNode;
+}
+
+/// Implement DomTree for the type returned by the html! macro.
+/// This lets the caller of the static function evaluate the builder closure with its own bump.
+/// It keeps components pretty and removes the need for the user to get too involved with allocation.
+impl<F> DomTree for F
+where
+    F: FnOnce(&Bump) -> VNode,
+{
+    fn render(self, b: &Bump) -> VNode {
+        self(b)
+    }
+}
+
+/// This type alias is an internal way of abstracting over the static functions that represent components.
+pub type FC<P: Properties, F: DomTree> = fn(&Context<P>) -> F;
+
+/// A gross AF helper that connects the dots for lifetimes
+/// sigh.. todo: move this into the html macro or core crates
+/// https://github.com/rust-lang/rust/issues/41078
+#[inline]
+pub fn __domtree_helper(
+    arg: impl for<'a> FnOnce(&'a Bump) -> VNode<'a>,
+) -> impl for<'a> FnOnce(&'a Bump) -> VNode<'a> {
+    arg
+}
+
+/// The `Component` trait refers to any struct or funciton that can be used as a component
+/// We automatically implement Component for FC<T>
+pub trait Component {
+    type Props: Properties;
+    fn builder(&'static self) -> Self::Props;
+}
+
+// Auto implement component for a FC
+// Calling the FC is the same as "rendering" it
+impl<'a, P: Properties, F: DomTree> Component for FC<P, F> {
+    type Props = P;
+
+    fn builder(&self) -> Self::Props {
+        todo!()
+    }
+}
+
+/// The `Properties` trait defines any struct that can be constructed using a combination of default / optional fields.
+/// Components take a "properties" object
+pub trait Properties {
+    fn new() -> Self;
+}
+
+// Auto implement for no-prop components
+impl Properties for () {
+    fn new() -> Self {
+        ()
+    }
+}
+
+// ============================================
+// Compile Tests for FC/Component/Properties
+// ============================================
+#[cfg(test)]
+mod fc_test {
+    use super::*;
+
+    // // Make sure this function builds properly.
+    // fn test_static_fn<'a, P: Properties, F: DomTree>(b: &'a Bump, r: &FC<P, F>) -> VNode<'a> {
+    //     let p = P::new(); // new props
+    //     let c = Context { props: p }; // new context with props
+    //     let g = r(&c); // calling function with context
+    //     g.render(&b) // rendering closure with bump allocator
+    // }
+
+    // fn test_component(ctx: &Context<()>) -> impl DomTree {
+    //     // todo: helper should be part of html! macro
+    //     html! { <div> </div> }
+    // }
+
+    // fn test_component2(ctx: &Context<()>) -> impl DomTree {
+    //     __domtree_helper(move |bump: &Bump| VNode::text("blah"))
+    // }
+
+    // #[test]
+    // fn ensure_types_work() {
+    //     // TODO: Get the whole casting thing to work properly.
+    //     // For whatever reason, FC is not auto-implemented, depsite it being a static type
+    //     let b = Bump::new();
+
+    //     let g: FC<_, _> = test_component;
+    //     let nodes0 = test_static_fn(&b, &g);
+    //     // Happiness! The VNodes are now allocated onto the bump vdom
+
+    //     let g: FC<_, _> = test_component2;
+    //     let nodes1 = test_static_fn(&b, &g);
+    // }
+}
+
+/// The Scope that wraps a functional component
+/// Scopes are allocated in a generational arena. As components are mounted/unmounted, they will replace slots of dead components
+/// The actualy contents of the hooks, though, will be allocated with the standard allocator. These should not allocate as frequently.
+pub struct Scope {
+    hook_idx: i32,
+    hooks: Vec<()>,
+}
+
+impl Scope {
+    fn new<T>() -> Self {
+        Self {
+            hook_idx: 0,
+            hooks: vec![],
+        }
+    }
+}
+
+pub struct HookState {}
+
+/// Components in Dioxus use the "Context" object to interact with their lifecycle.
+/// This lets components schedule updates, integrate hooks, and expose their context via the context api.
+///
+/// Properties passed down from the parent component are also directly accessible via the exposed "props" field.
+///
+/// ```ignore
+/// #[derive(Properties)]
+/// struct Props {
+///     name: String
+///
+/// }
+///
+/// fn example(ctx: &Context<Props>) -> VNode {
+///     html! {
+///         <div> "Hello, {ctx.props.name}" </div>
+///     }
+/// }
+/// ```
+pub struct Context<T> {
+    // pub struct Context<'source, T> {
+    /// Direct access to the properties used to create this component.
+    pub props: T,
+    // pub props: &'source T,
+}
+
+impl<'a, T> Context<T> {
+    // impl<'a, T> Context<'a, T> {
+    /// Access the children elements passed into the component
+    pub fn children(&self) -> Vec<VNode> {
+        todo!("Children API not yet implemented for component Context")
+    }
+
+    /// Access a parent context
+    pub fn parent_context<C>(&self) -> C {
+        todo!("Context API is not ready yet")
+    }
+
+    /// Create a subscription that schedules a future render for the reference component
+    pub fn subscribe(&self) -> impl FnOnce() -> () {
+        todo!("Subscription API is not ready yet");
+        || {}
+    }
+
+    /// Create VNodes from macros that use efficient allcators
+    /// The VDOM is configured to use a special allocator for VNodes
+    pub fn view(&self, v: impl Fn(&'a Bump) -> VNode<'a>) -> VNode<'a> {
+        todo!()
+    }
+
+    /// Create a suspended component from a future.
+    ///
+    /// When the future completes, the component will be renderered
+    pub fn suspend(
+        &self,
+        fut: impl Future<Output = impl FnOnce(&'a Bump) -> VNode<'a>>,
+    ) -> VNode<'a> {
+        todo!()
+    }
+}
diff --git a/packages/core/tests/integration.rs b/packages/core/tests/integration.rs
index 63e4e3461..0e144295e 100644
--- a/packages/core/tests/integration.rs
+++ b/packages/core/tests/integration.rs
@@ -5,12 +5,12 @@
 ///
 // use crate::prelude::*;
 use dioxus_core::prelude::*;
-type VirtualNode = VNode;
+// type VirtualNode = VNode;
 
 /// Test a basic usage of a virtual dom + text renderer combo
 #[test]
 fn simple_integration() {
-    let dom = VirtualDom::new(|_| html! { <div>Hello World!</div> });
+    // let dom = VirtualDom::new(|ctx| html! { <div>Hello World!</div> });
     // let mut renderer = TextRenderer::new(dom);
     // let output = renderer.render();
 }
diff --git a/packages/html-macro/src/parser/mod.rs b/packages/html-macro/src/parser/mod.rs
index e0fdfa4e9..6dcb196c9 100644
--- a/packages/html-macro/src/parser/mod.rs
+++ b/packages/html-macro/src/parser/mod.rs
@@ -147,9 +147,12 @@ impl HtmlParser {
         // Create a virtual node tree
         let node = quote! {
             {
-                #(#tokens)*
-                // Root node is always named node_0
-                node_0
+                move |bump| {
+                // __domtree_helper(move |bump| {
+                    #(#tokens)*
+                    // Root node is always named node_0
+                    node_0
+                }
             }
         };
         node
diff --git a/packages/ssr/src/lib.rs b/packages/ssr/src/lib.rs
index b6106ac6c..7d7222f77 100644
--- a/packages/ssr/src/lib.rs
+++ b/packages/ssr/src/lib.rs
@@ -19,7 +19,7 @@
 //! The `TextRenderer` is particularly useful when needing to cache a Virtual DOM in between requests
 //!
 
-use dioxus_core::prelude::FC;
+use dioxus_core::prelude::{VNode, FC};
 
 /// The `TextRenderer` provides a way of rendering a Dioxus Virtual DOM to a String.
 ///
@@ -56,6 +56,11 @@ impl<T> TextRenderer<T> {
         todo!()
     }
 
+    /// Immediately render a DomTree to string
+    pub fn to_text(root: VNode) -> String {
+        todo!()
+    }
+
     /// Render the virtual DOM to a string
     pub fn render(&self) -> String {
         let mut buffer = String::new();