diff --git a/Data/Generics/Fixplate/Misc.hs b/Data/Generics/Fixplate/Misc.hs
--- a/Data/Generics/Fixplate/Misc.hs
+++ b/Data/Generics/Fixplate/Misc.hs
@@ -1,5 +1,7 @@
 
 -- | Miscellaneous utility functions
+
+{-# LANGUAGE CPP #-}
 module Data.Generics.Fixplate.Misc where
 
 --------------------------------------------------------------------------------
@@ -122,7 +124,13 @@
   m >>= k  = StateT $ \s -> do
     ~(a, s') <- runStateT m s
     runStateT (k a) s'
+
+#if MIN_VERSION_base(4,13,0)    
+instance MonadFail m => MonadFail (StateT s m) where
   fail str = StateT $ \_ -> fail str
+#else
+  fail str = StateT $ \_ -> fail str
+#endif
 
 state :: (Monad m) => (s -> (a,s)) -> StateT s m a 
 state f = StateT (return . f)
diff --git a/fixplate.cabal b/fixplate.cabal
--- a/fixplate.cabal
+++ b/fixplate.cabal
@@ -1,6 +1,6 @@
 
 Name:                fixplate
-Version:             0.1.7
+Version:             0.1.8
 Synopsis:            Uniplate-style generic traversals for optionally annotated fixed-point types.
 Description:         Uniplate-style generic traversals for fixed-point types, which can be  
                      optionally annotated with attributes. We also provide recursion schemes,
@@ -10,21 +10,21 @@
 License:             BSD3
 License-file:        LICENSE
 Author:              Balazs Komuves
-Copyright:           (c) 2011-2016 Balazs Komuves
+Copyright:           (c) 2011-2019 Balazs Komuves
 Maintainer:          bkomuves (plus) hackage (at) gmail (dot) com
 Homepage:            http://code.haskell.org/~bkomuves/
 Stability:           Experimental
 Category:            Generics
-Tested-With:         GHC == 7.10.3
-Cabal-Version:       >= 1.10
+Tested-With:         GHC == 8.6.5, GHC == 8.8.1
+Cabal-Version:       1.24
 Build-Type:          Simple
 
 ----------------------------------------
 
 source-repository head
   type:     darcs
-  location: http://code.haskell.org/~bkomuves/projects/fixplate/
-
+  location: https://hub.darcs.net/bkomuves/fixplate
+  
 -- Flag withUtils
 --   Description: Include utility modules
 --   default: True
@@ -91,7 +91,7 @@
 
   build-depends:       base >= 4 && < 5, containers, 
                        QuickCheck >= 2, tasty, tasty-quickcheck,
-                       fixplate
+                       fixplate >= 0.1.8
 
   Default-Language:    Haskell2010
   Default-Extensions:  CPP, BangPatterns, TypeSynonymInstances
diff --git a/tests/TestSuite/Instances.hs b/tests/TestSuite/Instances.hs
--- a/tests/TestSuite/Instances.hs
+++ b/tests/TestSuite/Instances.hs
@@ -18,6 +18,7 @@
 
 import Data.Generics.Fixplate.Base
 -- import Data.Generics.Fixplate.Misc
+
 import TestSuite.Tools
 import TestSuite.Misc
 
diff --git a/tests/TestSuite/Misc.hs b/tests/TestSuite/Misc.hs
--- a/tests/TestSuite/Misc.hs
+++ b/tests/TestSuite/Misc.hs
@@ -124,7 +124,13 @@
   m >>= k  = StateT $ \s -> do
     ~(a, s') <- runStateT m s
     runStateT (k a) s'
+
+#if MIN_VERSION_base(4,13,0)    
+instance MonadFail m => MonadFail (StateT s m) where
   fail str = StateT $ \_ -> fail str
+#else
+  fail str = StateT $ \_ -> fail str
+#endif
 
 state :: (Monad m) => (s -> (a,s)) -> StateT s m a 
 state f = StateT (return . f)
diff --git a/tests/TestSuite/Morphisms.hs b/tests/TestSuite/Morphisms.hs
--- a/tests/TestSuite/Morphisms.hs
+++ b/tests/TestSuite/Morphisms.hs
@@ -19,9 +19,7 @@
 
 import Data.Generics.Fixplate.Base
 -- import Data.Generics.Fixplate.Misc
--- import Data.Generics.Fixplate.Attributes
 import Data.Generics.Fixplate.Morphisms
--- import Data.Generics.Fixplate.Traversals
 
 import TestSuite.Tools
 import TestSuite.Misc
diff --git a/tests/TestSuite/Tools.hs b/tests/TestSuite/Tools.hs
--- a/tests/TestSuite/Tools.hs
+++ b/tests/TestSuite/Tools.hs
@@ -20,6 +20,7 @@
 import Text.Read
 
 import Data.Generics.Fixplate.Base
+-- import Data.Generics.Fixplate.Misc
 
 import Test.QuickCheck
 import TestSuite.Misc
diff --git a/tests/TestSuite/Traversals.hs b/tests/TestSuite/Traversals.hs
--- a/tests/TestSuite/Traversals.hs
+++ b/tests/TestSuite/Traversals.hs
@@ -17,7 +17,6 @@
 
 import Data.Generics.Fixplate.Base
 -- import Data.Generics.Fixplate.Misc
--- import Data.Generics.Fixplate.Attributes
 import Data.Generics.Fixplate.Morphisms
 import Data.Generics.Fixplate.Traversals