diff --git a/Data/Generics/Strafunski/StrategyLib/MetricsTheme.hs b/Data/Generics/Strafunski/StrategyLib/MetricsTheme.hs
--- a/Data/Generics/Strafunski/StrategyLib/MetricsTheme.hs
+++ b/Data/Generics/Strafunski/StrategyLib/MetricsTheme.hs
@@ -17,6 +17,7 @@
 import Data.Generics.Strafunski.StrategyLib.StrategyPrelude
 import Data.Generics.Strafunski.StrategyLib.OverloadingTheme
 import Data.Generics.Strafunski.StrategyLib.FlowTheme
+import Data.Generics.Strafunski.StrategyLib.MoreMonoids
 
 ------------------------------------------------------------------------------
 -- * An abstract datatype for metrics
diff --git a/Data/Generics/Strafunski/StrategyLib/MoreMonoids.hs b/Data/Generics/Strafunski/StrategyLib/MoreMonoids.hs
--- a/Data/Generics/Strafunski/StrategyLib/MoreMonoids.hs
+++ b/Data/Generics/Strafunski/StrategyLib/MoreMonoids.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 ------------------------------------------------------------------------------
 -- | 
 -- Maintainer	: Ralf Laemmel, Joost Visser
@@ -15,6 +16,10 @@
 import Data.Monoid
 
 ------------------------------------------------------------------------------
+#if __GLASGOW_HASKELL__ >= 804
+instance Num a => Semigroup a where
+  (<>) = mappend
+#endif
 
 -- | Any 'Num' is a 'Monoid'.
 instance Num a => Monoid a where
diff --git a/Strafunski-StrategyLib.cabal b/Strafunski-StrategyLib.cabal
--- a/Strafunski-StrategyLib.cabal
+++ b/Strafunski-StrategyLib.cabal
@@ -1,5 +1,5 @@
 name:                Strafunski-StrategyLib
-version:             5.0.0.10
+version:             5.0.1.0
 synopsis:            Library for strategic programming
 description:         This is a version of the StrategyLib library originally shipped with Strafunski, Cabalized and updated to newer versions of GHC. A description of much of StrategyLib can be found in the paper "Design Patterns for Functional Strategic Programming."
 license:             BSD3
@@ -51,9 +51,10 @@
 --   other-modules:       
 
   build-depends:
-        base > 4.4 && < 4.10,
+        base > 4.4 && < 4.12,
         mtl > 2.2,
         syb > 0.3 && < 4.1,
         directory > 1.1 && < 1.4,
         transformers >= 0.2
-  
+  if !impl(ghc >= 8.0)
+    build-depends: semigroups == 0.18.*