diff --git a/TPDB/Rainbow/Proof/Type.hs b/TPDB/Rainbow/Proof/Type.hs
--- a/TPDB/Rainbow/Proof/Type.hs
+++ b/TPDB/Rainbow/Proof/Type.hs
@@ -59,9 +59,7 @@
 	        , mi_end :: T.UTCTime
                 -- , mi_int :: [ (k , Mi_Fun a ) ]
                   , mi_int :: [ (k ,  f a ) ]
-                }
-
-instance Typeable  (Interpretation f )
+                }   deriving Typeable 
 
 data Domain = Natural | Arctic | Arctic_Below_Zero | Tropical 
     deriving ( Show, Eq, Ord, Typeable )
diff --git a/tpdb.cabal b/tpdb.cabal
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,5 +1,5 @@
 Name: tpdb
-Version: 0.8.3
+Version: 0.8.4
 Author: Johannes Waldmann
 Maintainer: Johannes Waldmann
 Category: Logic