diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c)2012, Ivan Perez
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * 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.
+
+    * Neither the name of Ivan Perez nor the names of other
+      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
+OWNER 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/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/keera-hails-reactivelenses.cabal b/keera-hails-reactivelenses.cabal
new file mode 100644
--- /dev/null
+++ b/keera-hails-reactivelenses.cabal
@@ -0,0 +1,59 @@
+-- hails.cabal auto-generated by cabal init. For additional options,
+-- see
+-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
+-- The name of the package.
+Name:                keera-hails-reactivelenses
+
+-- The package version. See the Haskell package versioning policy
+-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
+-- standards guiding when and how versions should be incremented.
+Version:             0.0.0.1
+
+-- A short (one-line) description of the package.
+Synopsis:            Haskell on Gtk rails - Lenses applied to Reactive Values
+
+-- A longer description of the package.
+-- Description:
+
+-- URL for the project homepage or repository.
+Homepage:            http://www.keera.es/blog/community/
+
+-- The license under which the package is released.
+License:             BSD3
+
+-- The file containing the license text.
+License-file:        LICENSE
+
+-- The package author(s).
+Author:              Ivan Perez
+
+-- An email address to which users can send suggestions, bug reports,
+-- and patches.
+Maintainer:          ivan.perez@keera.es
+
+-- A copyright notice.
+-- Copyright:
+
+Category:            Development
+
+Build-type:          Simple
+
+-- Extra files to be distributed with the package, such as examples or
+-- a README.
+-- Extra-source-files:
+
+-- Constraint on the version of Cabal needed to build this package.
+Cabal-version:       >=1.2
+
+
+Library
+  hs-source-dirs: src/
+
+  ghc-options: -Wall -fno-warn-unused-do-bind -O2
+
+  -- Modules exported by the library.
+  Exposed-modules: Data.ReactiveLens
+
+  -- Packages needed in order to build this package.
+  Build-depends: base >= 4 && < 5, lens, keera-hails-reactivevalues
+
diff --git a/src/Data/ReactiveLens.hs b/src/Data/ReactiveLens.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/ReactiveLens.hs
@@ -0,0 +1,33 @@
+{-# LANGUAGE RankNTypes           #-}
+{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+module Data.ReactiveLens where
+
+import Control.Lens
+import Data.ReactiveValue
+
+reactiveFromLens :: (Monad m, Functor m)
+                 => ReactiveFieldReadWrite m a
+                 -> Lens' a b
+                 -> ReactiveFieldReadWrite m b
+reactiveFromLens (ReactiveFieldReadWrite setter getter notifier) l =
+  ReactiveFieldReadWrite setter' getter' notifier
+ where setter' v = setter.(set l v) =<< getter
+       getter'   = fmap (view l) getter
+
+-- I'd love to write this, but it's not possible because Haskell does not
+-- allow partially applied type synonyms anywhere.
+-- instance Monad m => GFunctor (ReactiveFieldReadWrite m) Lens' where
+--   gmap = reactiveFromLens
+
+-- | Why use such a big function name? Well, there are very good
+-- reasons. One is to get back to the Lens implementors, who
+-- always choose names that are incredibly easy to pronounce.
+-- Another is because it's based on <$> and <$$>.
+(<$$$>) :: (Monad m, Functor m)
+        => Lens' a b -> ReactiveFieldReadWrite m a -> ReactiveFieldReadWrite m b
+(<$$$>) = flip reactiveFromLens
+
+-- I think this bit would need monadic lenses
+-- reactiveLens :: Lens' a b -> Lens' (ReactiveFieldReadWrite m a) (ReactiveFieldReadWrite m b)
+-- reactiveLens = undefined