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
@@ -73,8 +73,7 @@
 
 instance
   ( Monad m
-  , ExtractValue m cntY, Asor cntY ~ cY, Elem cntY ~ eY
-  , cntY ~ ys
+  , ExtractValue m ys, Asor ys ~ cY, Elem ys ~ eY
   , PreStreamGen m (Box mk step xs ys) (idx:.Int,adx:.cX,arg:.eX)
   , Idx2 _idx ~ idx
   ) => StreamGen m (Box mk step xs ys) (idx:.Int,adx:.cX:.cY,arg:.eX:.eY) where
@@ -124,8 +123,7 @@
 -- | the first two arguments from nextTo, monadic xs.
 
 instance ( Monad m
-         , ExtractValue m cntX, Asor cntX ~ cX, Elem cntX ~ eX
-         , cntX ~ xs
+         , ExtractValue m xs, Asor xs ~ cX, Elem xs ~ eX
          , PreStreamGen m xs xsStack
          , (idxX,adxX,argX) ~ xsStack
          , (z0:.Int:.Int) ~ idxX
@@ -142,8 +140,7 @@
 
 instance
   ( Monad m
-  , ExtractValue m cntX, Asor cntX ~ cX, Elem cntX ~ eX
-  , cntX ~ xs
+  , ExtractValue m xs, Asor xs ~ cX, Elem xs ~ eX
   , PreStreamGen m (Box box2 box3 box1 xs) xsStack
   , (idxX,adxX,argX) ~ xsStack
   , (z0:.Int:.Int) ~ idxX
diff --git a/ADPfusion.cabal b/ADPfusion.cabal
--- a/ADPfusion.cabal
+++ b/ADPfusion.cabal
@@ -1,5 +1,5 @@
 name:           ADPfusion
-version:        0.0.1.1
+version:        0.0.1.2
 author:         Christian Hoener zu Siederdissen, 2011-2012
 copyright:      Christian Hoener zu Siederdissen, 2011-2012
 homepage:       http://www.tbi.univie.ac.at/~choener/adpfusion
@@ -60,31 +60,28 @@
                 .
                 * 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
   ADP/Fusion/QuickCheck.hs
   ADP/Fusion/QuickCheck/Arbitrary.hs
 
-Flag llvm
-  description: build using llvm backend
-  default: True
 
+
 library
   build-depends:
     base >= 4 && < 5,
     primitive      == 0.4.*   ,
     vector         == 0.9.*   ,
-    PrimitiveArray == 0.2.1.1
+    PrimitiveArray == 0.2.2.0
   exposed-modules:
     ADP.Fusion
     ADP.Fusion.Monadic
     ADP.Fusion.Monadic.Internal
 
   ghc-options:
-    -Odph -funbox-strict-fields -fspec-constr
-  if flag(llvm)
-    ghc-options:
-      -fllvm -optlo-O3 -optlo-inline -optlo-std-compile-opts
+    -O2 -funbox-strict-fields