diff --git a/Codec/TPTP/Base.hs b/Codec/TPTP/Base.hs
--- a/Codec/TPTP/Base.hs
+++ b/Codec/TPTP/Base.hs
@@ -29,18 +29,14 @@
 import Test.QuickCheck hiding ((.&.))
 import Data.Pointed
 import Data.Copointed
+#if !MIN_VERSION_transformers(0,4,0)
+import Data.Functor.Classes() -- Import Eq,Ord,Show,Read orphan instances for Data.Functor.Identity from transformers-compat package
+#endif
 
 #if !MIN_VERSION_base(4,7,0)
 import Util
 #endif
     
--- Should be in the standard library
-#if !MIN_VERSION_transformers(0,4,0)
-deriving instance Eq a => Eq (Identity a)
-deriving instance Ord a => Ord (Identity a)
-deriving instance Show a => Show (Identity a)
-deriving instance Read a => Read (Identity a)
-#endif
 deriving instance Data a => Data (Identity a)
 #if MIN_VERSION_base(4,7,0)
 deriving instance Typeable Identity
diff --git a/logic-TPTP.cabal b/logic-TPTP.cabal
--- a/logic-TPTP.cabal
+++ b/logic-TPTP.cabal
@@ -1,11 +1,11 @@
 name: logic-TPTP    
-version: 0.4.1.0
+version: 0.4.2.0
 cabal-version: >= 1.6
 build-type: Simple
 license: GPL
 license-file: LICENSE
 maintainer: Ahn, Ki Yung <kya@pdx.edu>, Daniel Schüssler <daniels@community.haskell.org>
-bug-reports: mailto:daniels@community.haskell.org,kya@pdx.edu
+bug-reports: http://github.com/DanielSchuessler/logic-TPTP/issues
 synopsis: Import, export etc. for TPTP, a syntax for first-order logic
 description: 
  For information about the TPTP format, see <http://www.cs.miami.edu/~tptp/>.
@@ -46,8 +46,8 @@
 tested-with: GHC==7.0.4
 
 source-repository head
- type: darcs
- location: http://patch-tag.com/r/kyagrd/logic-TPTP
+ type: git
+ location: http://github.com/DanielSchuessler/logic-TPTP.git
  
  
 
@@ -63,6 +63,7 @@
                    , mtl
                    , pointed
                    , transformers
+                   , transformers-compat >= 0.3
  
  exposed-modules:   Codec.TPTP.Import
                   , Codec.TPTP.Base