diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+version 0.2.1:
+  - Do not export generic equality by default to avoid clashes with Prelude
+  - Turn I and K into newtypes
+
 version 0.2:
   - Separated generic functions per modules
   - Added generic unfold
diff --git a/regular.cabal b/regular.cabal
--- a/regular.cabal
+++ b/regular.cabal
@@ -1,5 +1,5 @@
 name:                   regular
-version:                0.2
+version:                0.2.1
 synopsis:               Generic programming library for regular datatypes.
 description:
 
diff --git a/src/Generics/Regular/Base.hs b/src/Generics/Regular/Base.hs
--- a/src/Generics/Regular/Base.hs
+++ b/src/Generics/Regular/Base.hs
@@ -46,10 +46,10 @@
 -----------------------------------------------------------------------------
 
 -- | Structure type for constant values.
-data K a r       = K { unK :: a }
+newtype K a r    = K { unK :: a }
 
 -- | Structure type for recursive values.
-data I r         = I { unI :: r }
+newtype I r      = I { unI :: r }
 
 -- | Structure type for empty constructors.
 data U r         = U
diff --git a/src/Generics/Regular/Functions.hs b/src/Generics/Regular/Functions.hs
--- a/src/Generics/Regular/Functions.hs
+++ b/src/Generics/Regular/Functions.hs
@@ -15,8 +15,9 @@
 --
 -- Summary: All of the generic functionality for regular dataypes: mapM, 
 -- flatten, zip, equality, value generation, fold and unfold.
--- Generic show ("Generics.Regular.Functions.Show") and generic read 
--- ("Generics.Regular.Functions.Read") are not exported to prevent clashes
+-- Generic show ("Generics.Regular.Functions.Show"), generic read 
+-- ("Generics.Regular.Functions.Read") and generic equality 
+-- ("Generics.Regular.Functions.Eq") are not exported to prevent clashes
 -- with @Prelude@.
 -----------------------------------------------------------------------------
 
@@ -28,9 +29,6 @@
     -- * Crush
     module Generics.Regular.Functions.Crush,
     
-    -- * Equality
-    module Generics.Regular.Functions.Eq,
-    
     -- * Generic folding
     module Generics.Regular.Functions.Fold,
     
@@ -50,7 +48,6 @@
 
 import Generics.Regular.Functions.ConNames
 import Generics.Regular.Functions.Crush
-import Generics.Regular.Functions.Eq
 import Generics.Regular.Functions.Fold
 import Generics.Regular.Functions.GMap
 import Generics.Regular.Functions.LR