diff --git a/bifunctors.cabal b/bifunctors.cabal
--- a/bifunctors.cabal
+++ b/bifunctors.cabal
@@ -1,6 +1,6 @@
 name:          bifunctors
 category:      Data, Functors
-version:       3.0
+version:       3.0.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Data/Bifoldable.hs b/src/Data/Bifoldable.hs
--- a/src/Data/Bifoldable.hs
+++ b/src/Data/Bifoldable.hs
@@ -9,7 +9,7 @@
 -- Portability :  portable
 --
 ----------------------------------------------------------------------------
-module Data.Bifoldable 
+module Data.Bifoldable
   ( Bifoldable(..)
   , bifoldr'
   , bifoldrM
@@ -45,14 +45,14 @@
   bifoldl f g z t = appEndo (getDual (bifoldMap (Dual . Endo . flip f) (Dual . Endo . flip g) t)) z
 
 instance Bifoldable (,) where
-  bifoldMap f g (a, b) = f a `mappend` g b
+  bifoldMap f g ~(a, b) = f a `mappend` g b
 
 instance Bifoldable Either where
   bifoldMap f _ (Left a) = f a
   bifoldMap _ g (Right b) = g b
 
 bifoldr' :: Bifoldable t => (a -> c -> c) -> (b -> c -> c) -> c -> t a b -> c
-bifoldr' f g z0 xs = bifoldl f' g' id xs z0 where 
+bifoldr' f g z0 xs = bifoldl f' g' id xs z0 where
   f' k x z = k $! f x z
   g' k x z = k $! g x z
 
@@ -63,14 +63,14 @@
 
 bifoldl':: Bifoldable t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> a
 bifoldl' f g z0 xs = bifoldr f' g' id xs z0 where
-  f' x k z = k $! f z x 
+  f' x k z = k $! f z x
   g' x k z = k $! g z x
 
-bifoldlM :: (Bifoldable t, Monad m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m a 
+bifoldlM :: (Bifoldable t, Monad m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m a
 bifoldlM f g z0 xs = bifoldr f' g' return xs z0 where
   f' x k z = f z x >>= k
   g' x k z = g z x >>= k
-  
+
 bitraverse_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f ()
 bitraverse_ f g = bifoldr ((*>) . f) ((*>) . g) (pure ())
 
@@ -96,7 +96,7 @@
 biconcat = bifold
 
 biconcatMap :: Bifoldable t => (a -> [c]) -> (b -> [c]) -> t a b -> [c]
-biconcatMap = bifoldMap 
+biconcatMap = bifoldMap
 
 biany :: Bifoldable t => (a -> Bool) -> (b -> Bool) -> t a b -> Bool
 biany p q = getAny . bifoldMap (Any . p) (Any . q)
diff --git a/src/Data/Bifunctor.hs b/src/Data/Bifunctor.hs
--- a/src/Data/Bifunctor.hs
+++ b/src/Data/Bifunctor.hs
@@ -22,19 +22,19 @@
   first f = bimap f id
 
   second :: (b -> c) -> p a b -> p a c
-  second = bimap id 
+  second = bimap id
 
 instance Bifunctor (,) where
-  bimap f g (a, b) = (f a, g b)
+  bimap f g ~(a, b) = (f a, g b)
 
 instance Bifunctor ((,,) x) where
-  bimap f g (x, a, b) = (x, f a, g b)
+  bimap f g ~(x, a, b) = (x, f a, g b)
 
 instance Bifunctor ((,,,) x y) where
-  bimap f g (x, y, a, b) = (x, y, f a, g b)
+  bimap f g ~(x, y, a, b) = (x, y, f a, g b)
 
 instance Bifunctor ((,,,,) x y z) where
-  bimap f g (x, y, z, a, b) = (x, y, z, f a, g b)
+  bimap f g ~(x, y, z, a, b) = (x, y, z, f a, g b)
 
 instance Bifunctor Either where
   bimap f _ (Left a) = Left (f a)
diff --git a/src/Data/Bitraversable.hs b/src/Data/Bitraversable.hs
--- a/src/Data/Bitraversable.hs
+++ b/src/Data/Bitraversable.hs
@@ -38,7 +38,7 @@
   bisequence = bimapM id id
 
 instance Bitraversable (,) where
-  bitraverse f g (a, b) = (,) <$> f a <*> g b
+  bitraverse f g ~(a, b) = (,) <$> f a <*> g b
 
 instance Bitraversable Either where
   bitraverse f _ (Left a) = Left <$> f a