diff --git a/Changelog.md b/Changelog.md
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,3 +1,7 @@
+# 0.0.2.1
+
+* Unconditionally add ErrorT and ExceptT instances using transformers-compat (bergmark)
+
 # 0.0.2
 
 * Add 'Rec' pattern and 'TRec' term combinators.
diff --git a/src/Unbound/Generics/LocallyNameless/Fresh.hs b/src/Unbound/Generics/LocallyNameless/Fresh.hs
--- a/src/Unbound/Generics/LocallyNameless/Fresh.hs
+++ b/src/Unbound/Generics/LocallyNameless/Fresh.hs
@@ -20,9 +20,7 @@
 import Control.Monad.Identity
 
 import Control.Monad.Trans
-#if MIN_VERSION_transformers(0,4,0)
 import Control.Monad.Trans.Except
-#endif
 import Control.Monad.Trans.Error
 import Control.Monad.Trans.Maybe
 import Control.Monad.Trans.Reader
@@ -100,10 +98,8 @@
 instance (Error e, Fresh m) => Fresh (ErrorT e m) where
   fresh = lift . fresh
 
-#if MIN_VERSION_transformers(0,4,0)
 instance Fresh m => Fresh (ExceptT e m) where
   fresh = lift . fresh
-#endif
 
 instance Fresh m => Fresh (MaybeT m) where
   fresh = lift . fresh
diff --git a/src/Unbound/Generics/LocallyNameless/LFresh.hs b/src/Unbound/Generics/LocallyNameless/LFresh.hs
--- a/src/Unbound/Generics/LocallyNameless/LFresh.hs
+++ b/src/Unbound/Generics/LocallyNameless/LFresh.hs
@@ -69,9 +69,7 @@
 
 import Control.Monad.Trans.Cont
 import Control.Monad.Trans.Error
-#if MIN_VERSION_transformers(0,4,0)
 import Control.Monad.Trans.Except
-#endif
 import Control.Monad.Trans.Identity
 import Control.Monad.Trans.List
 import Control.Monad.Trans.Maybe
@@ -147,12 +145,10 @@
   avoid  = mapErrorT . avoid
   getAvoids = lift getAvoids
 
-#if MIN_VERSION_transformers(0,4,0)
 instance LFresh m => LFresh (ExceptT e m) where
   lfresh = lift . lfresh
   avoid = mapExceptT . avoid
   getAvoids = lift getAvoids
-#endif
 
 instance LFresh m => LFresh (IdentityT m) where
   lfresh = lift . lfresh
diff --git a/unbound-generics.cabal b/unbound-generics.cabal
--- a/unbound-generics.cabal
+++ b/unbound-generics.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                unbound-generics
-version:             0.0.2
+version:             0.0.2.1
 synopsis:            Reimplementation of Unbound using GHC Generics
 description:         Specify the binding structure of your data type with an
                      expressive set of type combinators, and unbound-generics
@@ -50,6 +50,7 @@
   build-depends:       base >=4.6 && <5,
                        mtl >= 2.1,
                        transformers >= 0.3,
+                       transformers-compat >= 0.3,
                        containers == 0.5.*,
                        contravariant >= 0.5
   hs-source-dirs:      src