diff --git a/Control/Monad/Trans/Cont/Speculation.hs b/Control/Monad/Trans/Cont/Speculation.hs
new file mode 100644
--- /dev/null
+++ b/Control/Monad/Trans/Cont/Speculation.hs
@@ -0,0 +1,70 @@
+-----------------------------------------------------------------------------
+-- |
+-- Module      :  Control.Monad.Trans.Cont.Speculation
+-- Copyright   :  (C) 2011 Edward Kmett, Jake McArthur
+-- License     :  BSD-style (see the file LICENSE)
+--
+-- Maintainer  :  Edward Kmett <ekmett@gmail.com>
+-- Stability   :  provisional
+-- Portability :  portable
+--
+-- Versions of the combinators from the 'speculation' package
+-- with the signature rearranged to enable them to be used
+-- directly as actions in the 'Cont' and 'ContT' monads.
+----------------------------------------------------------------------------
+module Control.Monad.Trans.Cont.Speculation where
+
+import Control.Monad.Trans.Cont
+import qualified Control.Concurrent.Speculation as Prim
+import Control.Concurrent.STM
+
+-- * Basic speculation
+
+-- | When a is unevaluated, @'spec' g a@ evaluates the current continuation 
+-- with @g@ while testing if @g@ '==' @a@, if they differ, it re-evalutes the
+-- continuation with @a@. If @a@ was already evaluated, the continuation is
+-- just directly applied to @a@ instead.
+spec :: Eq a => a -> a -> ContT r m a
+spec g a = ContT $ \k -> Prim.spec g k a 
+
+-- | As per 'spec', without the check for whether or not the second argument
+-- is already evaluated.
+spec' :: Eq a => a -> a -> ContT r m a
+spec' g a = ContT $ \k -> Prim.spec' g k a
+
+-- | @spec@ with a user supplied comparison function
+specBy :: (a -> a -> Bool) -> a -> a -> ContT r m a
+specBy f g a = ContT $ \k -> Prim.specBy f g k a
+
+-- | @spec'@ with a user supplied comparison function
+specBy' :: (a -> a -> Bool) -> a -> a -> ContT r m a
+specBy' f g a = ContT $ \k -> Prim.specBy' f g k a
+
+-- | @spec'@ with a user supplied comparison function
+specOn :: Eq c => (a -> c) -> a -> a -> ContT r m a
+specOn f g a = ContT $ \k -> Prim.specOn f g k a
+
+-- | @spec'@ with a user supplied comparison function
+specOn' :: Eq c => (a -> c) -> a -> a -> ContT r m a
+specOn' f g a = ContT $ \k -> Prim.specOn' f g k a
+
+-- * STM-based speculation
+
+specSTM :: Eq a => STM a -> a -> ContT r STM a
+specSTM g a = ContT $ \k -> Prim.specSTM g k a 
+
+specSTM' :: Eq a => STM a -> a -> ContT r STM a
+specSTM' g a = ContT $ \k -> Prim.specSTM' g k a 
+
+specOnSTM :: Eq c => (a -> STM c) -> STM a -> a -> ContT r STM a
+specOnSTM f g a = ContT $ \k -> Prim.specOnSTM f g k a 
+
+specOnSTM' :: Eq c => (a -> STM c) -> STM a -> a -> ContT r STM a
+specOnSTM' f g a = ContT $ \k -> Prim.specOnSTM' f g k a 
+
+specBySTM :: (a -> a -> STM Bool) -> STM a -> a -> ContT r STM a
+specBySTM f g a = ContT $ \k -> Prim.specBySTM f g k a 
+
+specBySTM' :: (a -> a -> STM Bool) -> STM a -> a -> ContT r STM a
+specBySTM' f g a = ContT $ \k -> Prim.specBySTM' f g k a 
+
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright 2011 Edward Kmett, Jake McArthur
+
+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 author nor the names of his contributors
+   may be used to endorse or promote products derived from this software
+   without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``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 AUTHORS 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.lhs b/Setup.lhs
new file mode 100644
--- /dev/null
+++ b/Setup.lhs
@@ -0,0 +1,7 @@
+#!/usr/bin/runhaskell
+> module Main (main) where
+
+> import Distribution.Simple
+
+> main :: IO ()
+> main = defaultMain
diff --git a/speculation-transformers.cabal b/speculation-transformers.cabal
new file mode 100644
--- /dev/null
+++ b/speculation-transformers.cabal
@@ -0,0 +1,30 @@
+name:          speculation-transformers
+category:      Control, Comonads
+version:       0.1
+license:       BSD3
+cabal-version: >= 1.6
+license-file:  LICENSE
+author:        Edward A. Kmett
+maintainer:    Edward A. Kmett <ekmett@gmail.com>
+stability:     provisional
+homepage:      http://github.com/ekmett/speculation-transformers/
+copyright:     Copyright (C) 2011 Edward A. Kmett, Jake McArthur
+synopsis:      Safe, programmable, speculative parallelism with monads.
+description:   Safe, programmable, speculative parallelism with monads.
+build-type:    Simple
+
+source-repository head
+  type: git
+  location: git://github.com/ekmett/speculation-transformers.git
+
+library
+  build-depends: 
+    base >= 4 && < 4.5,
+    stm >= 2.1.2 && <= 2.2,
+    speculation >= 1.0.0 && < 1.1,
+    transformers >= 0.2.0 && < 0.3
+
+  exposed-modules:
+    Control.Monad.Trans.Cont.Speculation
+
+  ghc-options: -Wall