diff --git a/bound.cabal b/bound.cabal
--- a/bound.cabal
+++ b/bound.cabal
@@ -1,6 +1,6 @@
 name:          bound
 category:      Language, Compilers/Interpreters
-version:       0.5.1
+version:       0.6
 license:       BSD3
 cabal-version: >= 1.9.2
 license-file:  LICENSE
@@ -61,7 +61,7 @@
     base           >= 4 && < 5,
     bifunctors     >= 3,
     comonad        >= 3,
-    prelude-extras >= 0.2,
+    prelude-extras >= 0.3,
     transformers   >= 0.2 && < 0.4
 
   ghc-options: -Wall -O2 -fspec-constr -fdicts-cheap -funbox-strict-fields
diff --git a/examples/Deriving.hs b/examples/Deriving.hs
--- a/examples/Deriving.hs
+++ b/examples/Deriving.hs
@@ -31,10 +31,10 @@
   Let n bs e >>= f = Let n (map (>>>= f) bs) (e >>>= f)
   Case e as  >>= f = Case (e >>= f) (map (>>>= f) as)
 
-instance Eq1   Exp where (==#) = (==)
-instance Ord1  Exp where compare1 = compare
-instance Show1 Exp where showsPrec1 = showsPrec
-instance Read1 Exp where readsPrec1 = readsPrec
+instance Eq1   Exp
+instance Ord1  Exp
+instance Show1 Exp
+instance Read1 Exp
 
 data Pat f a
   = VarP
diff --git a/src/Bound.hs b/src/Bound.hs
--- a/src/Bound.hs
+++ b/src/Bound.hs
@@ -33,10 +33,10 @@
 -- @
 --
 -- @
--- instance 'Prelude.Extras.Eq1' Exp   where ('Prelude.Extras.==#')      = ('==')
--- instance 'Prelude.Extras.Ord1' Exp  where 'Prelude.Extras.compare1'   = 'compare'
--- instance 'Prelude.Extras.Show1' Exp where 'Prelude.Extras.showsPrec1' = 'showsPrec'
--- instance 'Prelude.Extras.Read1' Exp where 'Prelude.Extras.readsPrec1' = 'readsPrec'
+-- instance 'Prelude.Extras.Eq1' Exp
+-- instance 'Prelude.Extras.Ord1' Exp
+-- instance 'Prelude.Extras.Show1' Exp
+-- instance 'Prelude.Extras.Read1' Exp
 -- instance 'Control.Applicative.Applicative' Exp where 'Control.Applicative.pure' = V; ('<*>') = 'Control.Monad.ap'
 -- @
 --