diff --git a/acid-state.cabal b/acid-state.cabal
--- a/acid-state.cabal
+++ b/acid-state.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.7.1
+Version:             0.7.2
 
 -- A short (one-line) description of the package.
 Synopsis:            Add ACID guarantees to any serializable Haskell data structure.
diff --git a/src/Data/Acid/Core.hs b/src/Data/Acid/Core.hs
--- a/src/Data/Acid/Core.hs
+++ b/src/Data/Acid/Core.hs
@@ -46,21 +46,13 @@
 import Data.Serialize                     ( runPutLazy, runGetLazy )
 import Data.SafeCopy                      ( SafeCopy, safeGet, safePut )
 
-import Data.Typeable                      ( Typeable, typeOf )
+import Data.Typeable                      ( Typeable, TypeRep, typeOf )
 import Unsafe.Coerce                      ( unsafeCoerce )
-import Data.Typeable.Internal
 
--- | The basic Method class. Each Method has an indexed result type
---   and a unique tag.
-class ( Typeable ev, SafeCopy ev
-      , Typeable (MethodResult ev), SafeCopy (MethodResult ev)) =>
-      Method ev where
-    type MethodResult ev
-    type MethodState ev
-    methodTag :: ev -> Tag
-    methodTag ev = Lazy.pack (showQualifiedTypeRep (typeOf ev))
-
 #if MIN_VERSION_base(4,4,0)
+
+import Data.Typeable.Internal             ( TypeRep (..), tyConModule )
+
 -- in base >= 4.4 the Show instance for TypeRep no longer provides a
 -- fully qualified name. But we have old data around that expects the
 -- FQN. So we will recreate the old naming system for newer versions
@@ -70,10 +62,23 @@
 showQualifiedTypeRep tr =
     let (TypeRep _f con _rep) = tr
     in tyConModule con ++ "." ++ show tr
+
 #else
+
 showQualifiedTypeRep :: TypeRep -> String
 showQualifiedTypeRep tr = show tr
+
 #endif
+
+-- | The basic Method class. Each Method has an indexed result type
+--   and a unique tag.
+class ( Typeable ev, SafeCopy ev
+      , Typeable (MethodResult ev), SafeCopy (MethodResult ev)) =>
+      Method ev where
+    type MethodResult ev
+    type MethodState ev
+    methodTag :: ev -> Tag
+    methodTag ev = Lazy.pack (showQualifiedTypeRep (typeOf ev))
 
 -- | The control structure at the very center of acid-state.
 --   This module provides access to a mutable state through