diff --git a/Codec/TPTP/Base.hs b/Codec/TPTP/Base.hs
--- a/Codec/TPTP/Base.hs
+++ b/Codec/TPTP/Base.hs
@@ -22,6 +22,7 @@
 import Data.Data
 import Data.Function
 import Data.Monoid hiding(All)
+import Data.Semigroup (Semigroup)
 import Data.Set as S hiding(fold)
 import Data.String
 import Prelude --hiding(concat,foldl,foldl1,foldr,foldr1)
@@ -531,7 +532,7 @@
 --
 -- Tip: Use the @-XOverloadedStrings@ compiler flag if you don't want to have to type /AtomicWord/ to construct an 'AtomicWord'
 newtype AtomicWord = AtomicWord String
-    deriving (Eq,Ord,Show,Data,Typeable,Read,Monoid,IsString)
+    deriving (Eq,Ord,Show,Data,Typeable,Read,Semigroup,Monoid,IsString)
 
 instance Arbitrary AtomicWord where
     arbitrary = frequency [  (5, AtomicWord <$> arbLowerWord)
@@ -540,7 +541,7 @@
 
 -- | Variable names
 newtype V = V String
-    deriving (Eq,Ord,Show,Data,Typeable,Read,Monoid,IsString)
+    deriving (Eq,Ord,Show,Data,Typeable,Read,Semigroup,Monoid,IsString)
 
 instance Arbitrary V where
     arbitrary = V <$> arbVar
diff --git a/changelog.markdown b/changelog.markdown
--- a/changelog.markdown
+++ b/changelog.markdown
@@ -1,3 +1,7 @@
+## 0.4.6.0
+
+* Add Semigroup instances for Monoids and fix cabal-version warning (Thanks to @msakai)
+
 ## 0.4.5.0
 
 * Fix compilation error with containers >=0.5.8 (Thanks to @msakai)
diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal
--- a/logic-TPTP.cabal
+++ b/logic-TPTP.cabal
@@ -1,5 +1,5 @@
 name: logic-TPTP
-version: 0.4.5.0
+version: 0.4.6.0
 cabal-version: >= 1.6
 build-type: Simple
 license: GPL
@@ -34,7 +34,6 @@
 
 category: Codec,Math,Theorem Provers
 author: Daniel Schüssler
-cabal-version: >= 1.6
 extra-source-files: testing/compileTests.sh
                     testing/TestImportExportRandom.hs
                     testing/TestImportExportImportFile.hs
@@ -63,6 +62,7 @@
                    , QuickCheck >= 2
                    , mtl
                    , pointed
+                   , semigroups
                    , transformers
                    , transformers-compat >= 0.5
 
@@ -80,4 +80,4 @@
                   , Codec.TPTP.QuickCheck
                   , Util
 
- build-tools: alex, happy
+ build-tools: alex >= 3.1.1, happy >= 1.19.1