diff --git a/FormalLanguage/GrammarProduct/Op/Common.hs b/FormalLanguage/GrammarProduct/Op/Common.hs
--- a/FormalLanguage/GrammarProduct/Op/Common.hs
+++ b/FormalLanguage/GrammarProduct/Op/Common.hs
@@ -53,11 +53,12 @@
 
 -- | Checks if two grammars are compatible.
 --
--- TODO different inside/outside status might not be a big problem!
+-- TODO different inside/outside status might not be a big problem! years
+-- later: let's see if that holds true!
 
 opCompatible :: Grammar -> Grammar -> Either String ()
 opCompatible l r
   | dim l /= dim r            = Left "Grammars have different dimensions"
-  | l^.outside /= r^.outside  = Left "Grammars have incompatible inside/outside status"
+--  | l^.outside /= r^.outside  = Left "Grammars have incompatible inside/outside status"
   | otherwise                 = Right ()
 
diff --git a/GrammarProducts.cabal b/GrammarProducts.cabal
--- a/GrammarProducts.cabal
+++ b/GrammarProducts.cabal
@@ -1,7 +1,7 @@
 name:           GrammarProducts
-version:        0.1.1.2
-author:         Christian Hoener zu Siederdissen, 2013-2016
-copyright:      Christian Hoener zu Siederdissen, 2013-2016
+version:        0.1.1.3
+author:         Christian Hoener zu Siederdissen, 2013-2017
+copyright:      Christian Hoener zu Siederdissen, 2013-2017
 homepage:       https://github.com/choener/GrammarProducts
 bug-reports:    https://github.com/choener/GrammarProducts/issues
 maintainer:     choener@bioinf.uni-leipzig.de
@@ -11,7 +11,7 @@
 build-type:     Simple
 stability:      experimental
 cabal-version:  >= 1.10.0
-tested-with:    GHC == 7.8.4, GHC == 7.10.1
+tested-with:    GHC == 7.10.3, GHC == 8.0.1
 synopsis:       Grammar products and higher-dimensional grammars
 description:
                 <http://www.bioinf.uni-leipzig.de/Software/gADP/ generalized Algebraic Dynamic Programming>
@@ -59,21 +59,22 @@
 
 
 library
-  build-depends: base               >= 4.7      && < 4.9
-               , ADPfusion          >= 0.5.1    && < 0.5.2
-               , ansi-wl-pprint     >= 0.6      && < 0.7
-               , bytestring         >= 0.10     && < 0.11
-               , containers         >= 0.5      && < 0.6
-               , data-default       >= 0.5      && < 0.6
-               , FormalGrammars     >= 0.2.1    && < 0.3.1
-               , lens               >= 4        && < 5
-               , newtype            >= 0.2      && < 0.3
-               , parsers            >= 0.12     && < 0.13
-               , PrimitiveArray     >= 0.6.0.1  && < 0.7.1
-               , semigroups         >= 0.15     && < 0.19
-               , template-haskell   >= 2        && < 3
-               , transformers       >= 0.4      && < 0.5
-               , trifecta           >= 1.5      && < 1.6
+  build-depends: base               >= 4.7      && < 5.0
+               , ansi-wl-pprint     >= 0.6
+               , bytestring         >= 0.10
+               , containers         >= 0.5
+               , data-default       >= 0.5
+               , lens               >= 4
+               , newtype            >= 0.2
+               , parsers            >= 0.12
+               , semigroups         >= 0.15
+               , template-haskell   >= 2
+               , transformers       >= 0.4
+               , trifecta           >= 1.6
+               --
+               , ADPfusion          == 0.5.2.*
+               , FormalGrammars     == 0.3.1.*
+               , PrimitiveArray     == 0.8.0.*
   exposed-modules:
     FormalLanguage.GrammarProduct
     FormalLanguage.GrammarProduct.Op
@@ -136,14 +137,15 @@
 
 executable AlignGlobal
   if flag(examples)
-    build-depends: base               >= 4.7      && < 4.9
-                 , ADPfusion
+    build-depends: base               >= 4.7    && < 5.0
                  , containers
+                 , template-haskell
+                 , vector             >= 0.10
+                 --
+                 , ADPfusion
                  , FormalGrammars     >= 0.3
                  , GrammarProducts
                  , PrimitiveArray
-                 , template-haskell
-                 , vector             >= 0.10     && < 0.12
     buildable: True
   else
     buildable: False
diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,8 @@
+0.1.1.3
+-------
+
+- removed upper bounds
+
 0.1.1.2
 -------
 
