diff --git a/LICENSE b/reflex-dom-core/LICENSE
similarity index 100%
rename from LICENSE
rename to reflex-dom-core/LICENSE
diff --git a/Setup.hs b/reflex-dom-core/Setup.hs
similarity index 100%
rename from Setup.hs
rename to reflex-dom-core/Setup.hs
diff --git a/reflex-dom.cabal b/reflex-dom-core/reflex-dom-core.cabal
similarity index 97%
rename from reflex-dom.cabal
rename to reflex-dom-core/reflex-dom-core.cabal
index b906b19..11f2870 100644
--- a/reflex-dom.cabal
+++ b/reflex-dom-core/reflex-dom-core.cabal
@@ -1,4 +1,4 @@
-Name: reflex-dom
+Name: reflex-dom-core
 Version: 0.4
 Synopsis: Functional Reactive Web Apps with Reflex
 Description: Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine
@@ -71,15 +71,15 @@ library
 
   exposed-modules:
     Foreign.JavaScript.TH
-    Reflex.Dom
     Reflex.Dom.Builder.Class
     Reflex.Dom.Builder.Class.Events
     Reflex.Dom.Builder.Immediate
     Reflex.Dom.Builder.InputDisabled
     Reflex.Dom.Builder.Static
     Reflex.Dom.Class
-    Reflex.Dom.Internal
+    Reflex.Dom.Core
     Reflex.Dom.Location
+    Reflex.Dom.Main
     Reflex.Dom.Old
     Reflex.Dom.Time
     Reflex.Dom.WebSocket
@@ -120,3 +120,4 @@ library
 source-repository head
   type: git
   location: https://github.com/reflex-frp/reflex-dom
+  subdir: reflex-dom-core
diff --git a/src/Foreign/JavaScript/TH.hs b/reflex-dom-core/src/Foreign/JavaScript/TH.hs
similarity index 100%
rename from src/Foreign/JavaScript/TH.hs
rename to reflex-dom-core/src/Foreign/JavaScript/TH.hs
diff --git a/src/Reflex/Dom/Builder/Class.hs b/reflex-dom-core/src/Reflex/Dom/Builder/Class.hs
similarity index 100%
rename from src/Reflex/Dom/Builder/Class.hs
rename to reflex-dom-core/src/Reflex/Dom/Builder/Class.hs
diff --git a/src/Reflex/Dom/Builder/Class/Events.hs b/reflex-dom-core/src/Reflex/Dom/Builder/Class/Events.hs
similarity index 100%
rename from src/Reflex/Dom/Builder/Class/Events.hs
rename to reflex-dom-core/src/Reflex/Dom/Builder/Class/Events.hs
diff --git a/src/Reflex/Dom/Builder/Immediate.hs b/reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs
similarity index 100%
rename from src/Reflex/Dom/Builder/Immediate.hs
rename to reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs
diff --git a/src/Reflex/Dom/Builder/InputDisabled.hs b/reflex-dom-core/src/Reflex/Dom/Builder/InputDisabled.hs
similarity index 100%
rename from src/Reflex/Dom/Builder/InputDisabled.hs
rename to reflex-dom-core/src/Reflex/Dom/Builder/InputDisabled.hs
diff --git a/src/Reflex/Dom/Builder/Static.hs b/reflex-dom-core/src/Reflex/Dom/Builder/Static.hs
similarity index 100%
rename from src/Reflex/Dom/Builder/Static.hs
rename to reflex-dom-core/src/Reflex/Dom/Builder/Static.hs
diff --git a/src/Reflex/Dom/Class.hs b/reflex-dom-core/src/Reflex/Dom/Class.hs
similarity index 100%
rename from src/Reflex/Dom/Class.hs
rename to reflex-dom-core/src/Reflex/Dom/Class.hs
diff --git a/src/Reflex/Dom.hs b/reflex-dom-core/src/Reflex/Dom/Core.hs
similarity index 85%
rename from src/Reflex/Dom.hs
rename to reflex-dom-core/src/Reflex/Dom/Core.hs
index 7c681a8..5fbea66 100644
--- a/src/Reflex/Dom.hs
+++ b/reflex-dom-core/src/Reflex/Dom/Core.hs
@@ -1,4 +1,4 @@
-module Reflex.Dom (module X) where
+module Reflex.Dom.Core (module X) where
 
 import Reflex as X hiding (askEvents)
 import Reflex.Dom.Builder.Class as X
@@ -6,8 +6,8 @@ import Reflex.Dom.Builder.Immediate as X
 import Reflex.Dom.Builder.InputDisabled as X
 import Reflex.Dom.Builder.Static as X
 import Reflex.Dom.Class as X
-import Reflex.Dom.Internal as X
 import Reflex.Dom.Location as X
+import Reflex.Dom.Main as X
 import Reflex.Dom.Old as X
 import Reflex.Dom.Time as X
 import Reflex.Dom.WebSocket as X
diff --git a/src/Reflex/Dom/Location.hs b/reflex-dom-core/src/Reflex/Dom/Location.hs
similarity index 100%
rename from src/Reflex/Dom/Location.hs
rename to reflex-dom-core/src/Reflex/Dom/Location.hs
diff --git a/src/Reflex/Dom/Internal.hs b/reflex-dom-core/src/Reflex/Dom/Main.hs
similarity index 99%
rename from src/Reflex/Dom/Internal.hs
rename to reflex-dom-core/src/Reflex/Dom/Main.hs
index e705553..63a20a9 100644
--- a/src/Reflex/Dom/Internal.hs
+++ b/reflex-dom-core/src/Reflex/Dom/Main.hs
@@ -13,7 +13,7 @@
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE PatternSynonyms #-}
-module Reflex.Dom.Internal where
+module Reflex.Dom.Main where
 
 import Prelude hiding (concat, mapM, mapM_, sequence, sequence_)
 
diff --git a/src/Reflex/Dom/Old.hs b/reflex-dom-core/src/Reflex/Dom/Old.hs
similarity index 100%
rename from src/Reflex/Dom/Old.hs
rename to reflex-dom-core/src/Reflex/Dom/Old.hs
diff --git a/src/Reflex/Dom/Storage.hs b/reflex-dom-core/src/Reflex/Dom/Storage.hs
similarity index 100%
rename from src/Reflex/Dom/Storage.hs
rename to reflex-dom-core/src/Reflex/Dom/Storage.hs
diff --git a/src/Reflex/Dom/Time.hs b/reflex-dom-core/src/Reflex/Dom/Time.hs
similarity index 100%
rename from src/Reflex/Dom/Time.hs
rename to reflex-dom-core/src/Reflex/Dom/Time.hs
diff --git a/src/Reflex/Dom/WebSocket.hs b/reflex-dom-core/src/Reflex/Dom/WebSocket.hs
similarity index 100%
rename from src/Reflex/Dom/WebSocket.hs
rename to reflex-dom-core/src/Reflex/Dom/WebSocket.hs
diff --git a/src/Reflex/Dom/WebSocket/Foreign.hs b/reflex-dom-core/src/Reflex/Dom/WebSocket/Foreign.hs
similarity index 100%
rename from src/Reflex/Dom/WebSocket/Foreign.hs
rename to reflex-dom-core/src/Reflex/Dom/WebSocket/Foreign.hs
diff --git a/src/Reflex/Dom/Widget.hs b/reflex-dom-core/src/Reflex/Dom/Widget.hs
similarity index 100%
rename from src/Reflex/Dom/Widget.hs
rename to reflex-dom-core/src/Reflex/Dom/Widget.hs
diff --git a/src/Reflex/Dom/Widget/Basic.hs b/reflex-dom-core/src/Reflex/Dom/Widget/Basic.hs
similarity index 100%
rename from src/Reflex/Dom/Widget/Basic.hs
rename to reflex-dom-core/src/Reflex/Dom/Widget/Basic.hs
diff --git a/src/Reflex/Dom/Widget/Input.hs b/reflex-dom-core/src/Reflex/Dom/Widget/Input.hs
similarity index 100%
rename from src/Reflex/Dom/Widget/Input.hs
rename to reflex-dom-core/src/Reflex/Dom/Widget/Input.hs
diff --git a/src/Reflex/Dom/Widget/Lazy.hs b/reflex-dom-core/src/Reflex/Dom/Widget/Lazy.hs
similarity index 100%
rename from src/Reflex/Dom/Widget/Lazy.hs
rename to reflex-dom-core/src/Reflex/Dom/Widget/Lazy.hs
diff --git a/src/Reflex/Dom/Widget/Resize.hs b/reflex-dom-core/src/Reflex/Dom/Widget/Resize.hs
similarity index 100%
rename from src/Reflex/Dom/Widget/Resize.hs
rename to reflex-dom-core/src/Reflex/Dom/Widget/Resize.hs
diff --git a/src/Reflex/Dom/Xhr.hs b/reflex-dom-core/src/Reflex/Dom/Xhr.hs
similarity index 100%
rename from src/Reflex/Dom/Xhr.hs
rename to reflex-dom-core/src/Reflex/Dom/Xhr.hs
diff --git a/src/Reflex/Dom/Xhr/Exception.hs b/reflex-dom-core/src/Reflex/Dom/Xhr/Exception.hs
similarity index 100%
rename from src/Reflex/Dom/Xhr/Exception.hs
rename to reflex-dom-core/src/Reflex/Dom/Xhr/Exception.hs
diff --git a/src/Reflex/Dom/Xhr/Foreign.hs b/reflex-dom-core/src/Reflex/Dom/Xhr/Foreign.hs
similarity index 100%
rename from src/Reflex/Dom/Xhr/Foreign.hs
rename to reflex-dom-core/src/Reflex/Dom/Xhr/Foreign.hs
diff --git a/src/Reflex/Dom/Xhr/ResponseType.hs b/reflex-dom-core/src/Reflex/Dom/Xhr/ResponseType.hs
similarity index 100%
rename from src/Reflex/Dom/Xhr/ResponseType.hs
rename to reflex-dom-core/src/Reflex/Dom/Xhr/ResponseType.hs
diff --git a/test/BrokenHaltSpec.hs b/reflex-dom-core/test/BrokenHaltSpec.hs
similarity index 100%
rename from test/BrokenHaltSpec.hs
rename to reflex-dom-core/test/BrokenHaltSpec.hs
diff --git a/test/HaltSpec.hs b/reflex-dom-core/test/HaltSpec.hs
similarity index 100%
rename from test/HaltSpec.hs
rename to reflex-dom-core/test/HaltSpec.hs
diff --git a/test/hlint.hs b/reflex-dom-core/test/hlint.hs
similarity index 100%
rename from test/hlint.hs
rename to reflex-dom-core/test/hlint.hs
diff --git a/reflex-dom/LICENSE b/reflex-dom/LICENSE
new file mode 100644
index 0000000..afd285a
--- /dev/null
+++ b/reflex-dom/LICENSE
@@ -0,0 +1,12 @@
+Copyright (c) 2015, Obsidian Systems LLC
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/reflex-dom/Setup.hs b/reflex-dom/Setup.hs
new file mode 100644
index 0000000..9a994af
--- /dev/null
+++ b/reflex-dom/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/reflex-dom/reflex-dom.cabal b/reflex-dom/reflex-dom.cabal
new file mode 100644
index 0000000..2b63d52
--- /dev/null
+++ b/reflex-dom/reflex-dom.cabal
@@ -0,0 +1,67 @@
+Name: reflex-dom
+Version: 0.4
+Synopsis: Functional Reactive Web Apps with Reflex
+Description: Reflex-DOM is a Functional Reactive web framework based on the Reflex FRP engine
+License: BSD3
+License-file: LICENSE
+Author: Ryan Trinkle
+Maintainer: ryan.trinkle@gmail.com
+Stability: Experimental
+Category: FRP, Web, GUI, HTML, Javascript, Reactive, Reactivity, User Interfaces, User-interface
+Build-type: Simple
+cabal-version: >=1.24
+-- Deal with https://github.com/haskell/cabal/issues/2544 / https://github.com/haskell/cabal/issues/367
+extra-source-files: src/Reflex/Dom/Xhr/Foreign.hs
+                    src/Reflex/Dom/WebSocket/Foreign.hs
+                    src/Reflex/Dom/Xhr/ResponseType.hs
+                    src/Reflex/Dom/Xhr/Exception.hs
+
+flag webkit2gtk
+  description: Use WebKit2 version of WebKitGTK.
+  default: True
+
+library
+  hs-source-dirs: src
+  build-depends:
+    base >= 4.7 && < 4.10,
+    bytestring == 0.10.*,
+    reflex == 0.5.*,
+    reflex-dom-core >=0.4 && <0.5,
+    text == 1.2.*
+  if flag(webkit2gtk)
+    build-depends:
+      jsaddle-webkit2gtk
+  else
+    build-depends:
+      jsaddle-webkitgtk
+
+  exposed-modules:
+    Reflex.Dom
+    Reflex.Dom.Internal
+  reexported-modules:
+      Foreign.JavaScript.TH
+    , Reflex.Dom.Builder.Class
+    , Reflex.Dom.Builder.Class.Events
+    , Reflex.Dom.Builder.Immediate
+    , Reflex.Dom.Builder.InputDisabled
+    , Reflex.Dom.Builder.Static
+    , Reflex.Dom.Class
+    , Reflex.Dom.Core
+    , Reflex.Dom.Location
+    , Reflex.Dom.Main
+    , Reflex.Dom.Old
+    , Reflex.Dom.Time
+    , Reflex.Dom.WebSocket
+    , Reflex.Dom.Widget
+    , Reflex.Dom.Widget.Basic
+    , Reflex.Dom.Widget.Input
+    , Reflex.Dom.Widget.Lazy
+    , Reflex.Dom.Widget.Resize
+    , Reflex.Dom.Xhr
+
+  ghc-options: -Wall -fwarn-tabs -funbox-strict-fields -O2 -ferror-spans
+
+source-repository head
+  type: git
+  location: https://github.com/reflex-frp/reflex-dom
+  subdir: reflex-dom
diff --git a/reflex-dom/src/Reflex/Dom.hs b/reflex-dom/src/Reflex/Dom.hs
new file mode 100644
index 0000000..69b8324
--- /dev/null
+++ b/reflex-dom/src/Reflex/Dom.hs
@@ -0,0 +1,7 @@
+module Reflex.Dom (module X) where
+
+import Reflex.Dom.Core as X hiding
+       (mainWidget, mainWidgetWithHead, mainWidgetWithCss,
+        mainWidgetWithHead', mainWidgetInElementById, runApp')
+import Reflex.Dom.Internal as X
+
diff --git a/reflex-dom/src/Reflex/Dom/Internal.hs b/reflex-dom/src/Reflex/Dom/Internal.hs
new file mode 100644
index 0000000..8ea62fc
--- /dev/null
+++ b/reflex-dom/src/Reflex/Dom/Internal.hs
@@ -0,0 +1,41 @@
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE TypeFamilies #-}
+module Reflex.Dom.Internal
+       (module Main, mainWidget, mainWidgetWithHead, mainWidgetWithCss,
+        mainWidgetWithHead', mainWidgetInElementById, runApp') where
+
+import Data.ByteString (ByteString)
+import Data.Text (Text)
+import Reflex.Spider (Spider)
+import Reflex.Dom.Core (Widget)
+import Reflex.Dom.Main as Main hiding
+       (mainWidget, mainWidgetWithHead, mainWidgetWithCss,
+        mainWidgetWithHead', mainWidgetInElementById, runApp')
+import qualified Reflex.Dom.Main as Main
+       (mainWidget, mainWidgetWithHead, mainWidgetWithCss,
+        mainWidgetWithHead', mainWidgetInElementById, runApp')
+import Language.Javascript.JSaddle.WebKitGTK (run)
+
+mainWidget :: (forall x. Widget x ()) -> IO ()
+mainWidget w = run $ Main.mainWidget w
+{-# INLINE mainWidget #-}
+
+mainWidgetWithHead :: (forall x. Widget x ()) -> (forall x. Widget x ()) -> IO ()
+mainWidgetWithHead h b = run $ Main.mainWidgetWithHead h b
+{-# INLINE mainWidgetWithHead #-}
+
+mainWidgetWithCss :: ByteString -> (forall x. Widget x ()) -> IO ()
+mainWidgetWithCss css w = run $ Main.mainWidgetWithCss css w
+{-# INLINE mainWidgetWithCss #-}
+
+mainWidgetWithHead' :: (forall x. (a -> Widget x b, b -> Widget x a)) -> IO ()
+mainWidgetWithHead' w = run $ Main.mainWidgetWithHead' w
+{-# INLINE mainWidgetWithHead' #-}
+
+mainWidgetInElementById :: Text -> (forall x. Widget x ()) -> IO ()
+mainWidgetInElementById eid w = run $ Main.mainWidgetInElementById eid w
+{-# INLINE mainWidgetInElementById #-}
+
+runApp' :: (t ~ Spider) => (forall x. AppInput t -> Widget x (AppOutput t)) -> IO ()
+runApp' app = run $ Main.runApp' app
+{-# INLINE runApp' #-}