diff --git a/ADP/Fusion/Monadic.hs b/ADP/Fusion/Monadic.hs
--- a/ADP/Fusion/Monadic.hs
+++ b/ADP/Fusion/Monadic.hs
@@ -45,7 +45,7 @@
 
 infixl 7 |||
 (|||) xs ys ij = xs ij S.++ ys ij
-{-# INLINE [1] (|||) #-}
+{-# INLINE (|||) #-}
 
 
 
@@ -60,7 +60,7 @@
 
 infixl 6 ...
 (...) stream h ij = h $ stream ij
-{-# INLINE [2] (...) #-}
+{-# INLINE (...) #-}
 
 -- | Specialized version of choice function application, with a choice function
 -- that needs to know the subword index it is working on.
diff --git a/ADP/Fusion/Monadic/Internal.hs b/ADP/Fusion/Monadic/Internal.hs
--- a/ADP/Fusion/Monadic/Internal.hs
+++ b/ADP/Fusion/Monadic/Internal.hs
@@ -192,11 +192,11 @@
     x `seq` return x
   extractStream cnt stream = S.mapM addElm stream where
     addElm (z:.k:.x:.l, astack, vstack) = do
-      vadd <- extractValue cnt (Z:.k:.x) Z
+      vadd <- PA.readM cnt (Z:.k:.x)
       vadd `seq` return (z:.k:.x:.l, astack:.Z, vstack :. vadd)
   extractStreamLast sngl stream = S.mapM addElm stream where
     addElm (z:.k:.x, astack, vstack) = do
-      vadd <- extractValue sngl (Z:.k:.x) Z
+      vadd <- PA.readM sngl (Z:.k:.x)
       vadd `seq` return (z:.k:.x, astack:.Z, vstack:.vadd)
   {-# INLINE extractValue #-}
   {-# INLINE extractStream #-}
diff --git a/ADPfusion.cabal b/ADPfusion.cabal
--- a/ADPfusion.cabal
+++ b/ADPfusion.cabal
@@ -1,5 +1,5 @@
 name:           ADPfusion
-version:        0.0.1.0
+version:        0.0.1.1
 author:         Christian Hoener zu Siederdissen, 2011-2012
 copyright:      Christian Hoener zu Siederdissen, 2011-2012
 homepage:       http://www.tbi.univie.ac.at/~choener/adpfusion
@@ -48,15 +48,17 @@
                 specialized table design, a combinator library, a library for
                 computational biology.
                 .
-                If possible, build using the GHC llvm backend, and GHC-7.2.2.
-                GHC-7.4.x produces very bad code on my system, please benchmark
-                using 7.2.2.
-                .
                 Two algorithms from the realm of computational biology are
                 provided as examples on how to write dynamic programming
                 algorithms using this library:
                 <http://hackage.haskell.org/package/Nussinov78> and
-                <http://hackage.haskell.org/package/RNAfold>.
+                <http://hackage.haskell.org/package/RNAFold>.
+                .
+                Changes since 0.0.1.0:
+                .
+                * compatibility with GHC 7.4
+                .
+                * note: still using fundeps & and TFs together. The TF-only version does not optimize as well (I know why but not yet how to fix it)
 
 Extra-Source-Files:
   README.md
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -40,9 +40,6 @@
 Long term goals: Outer indices with more than two dimensions, specialized table
 design, a combinator library, a library for computational biology.
 
-If possible, build using the GHC llvm backend, and GHC-7.2.2.  GHC-7.4.x
-produces very bad code on my system, please benchmark using 7.2.2.
-
 Two algorithms from the realm of computational biology are provided as examples
 on how to write dynamic programming algorithms using this library:
 <http://hackage.haskell.org/package/Nussinov78> and
@@ -52,14 +49,9 @@
 Installation
 ============
 
-Please use GHC-7.2.2, if possible. GHC-7.4 currently seems to have problems
-optimizing vector-dependent code:
-http://hackage.haskell.org/trac/ghc/ticket/5539
-(and others?)
-
-If GHC-7.2.2, LLVM and cabal-install are available, you should be all set. I
-recommend using cabal-dev as it provides a very nice sandbox (replace cabal-dev
-with cabal otherwise).
+If GHC-7.2.2/GHC-7.4, LLVM and cabal-install are available, you should be all
+set. I recommend using cabal-dev as it provides a very nice sandbox (replace
+cabal-dev with cabal otherwise).
 
 If you go with cabal-dev, no explicit installation is necessary and ADPfusion
 will be installed in the sandbox together with the example algorithms or your
@@ -119,3 +111,7 @@
 - 0.0.1.0
   - providing just the library. Examples are found in different libraries.
 
+- 0.0.1.1
+  - this version should be compatible with GHC-7.4, at least GHC-7,4.2-rc1.
+  - a type family (TF) version has not been able to show the same performance
+    as fundeps. This means that fundeps for Internal.hs stay alive, for now.