diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,6 @@
 
 ## Upcoming
 
-## 0.1.0.0 -- 2024-02-04
+## 0.1.0.1 -- 2024-02-04
 
 * Initial Release.
diff --git a/kindly-functors.cabal b/kindly-functors.cabal
--- a/kindly-functors.cabal
+++ b/kindly-functors.cabal
@@ -1,7 +1,7 @@
 cabal-version:   3.4
 name:            kindly-functors
 category:        Control, Categories
-version:         0.1.0.0
+version:         0.1.0.1
 synopsis:        A category polymorphic `Functor` typeclass
 description:     A category polymorphic `Functor` typeclass.
 homepage:        https://www.github.com/solomon-b/kindly-functors
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -1,9 +1,9 @@
 {-# LANGUAGE ImportQualifiedPost #-}
+{-# LANGUAGE InstanceSigs #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE TypeApplications #-}
-{-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE InstanceSigs #-}
+{-# LANGUAGE TypeOperators #-}
 
 module Main (main) where
 
@@ -11,10 +11,9 @@
 
 import Data.Functor.Contravariant (Op (..), Predicate (..))
 import Data.Functor.Identity (Identity (..))
+import Data.Maybe (maybeToList)
 import Kindly qualified as UUT
 import Test.Hspec (describe, hspec, it, shouldBe)
-import Data.Maybe (maybeToList)
-import Data.Functor.Classes (Show1, Eq1)
 
 --------------------------------------------------------------------------------
 
@@ -50,20 +49,15 @@
     it "works covariantly" $ do
       UUT.trimap show show show (True, False, ()) `shouldBe` ("True", "False", "()")
 
-
   describe "bmap" $ do
     it "works" $ do
       let hkd = MyHKD (Just True) Nothing
-      UUT.bmap maybeToList hkd `shouldBe` MyHKD [True] []
-
+      project (UUT.bmap maybeToList hkd) `shouldBe` ([True], [])
 
 data MyHKD f = MyHKD {one :: f Bool, two :: f ()}
 
-instance Show1 f => Show (MyHKD f) where
-  show MyHKD {..} = "MyHKD {one = " <> show one <> ", two = " <> show two <> "}"
-
-instance Eq1 f => Eq (MyHKD f) where
-  (MyHKD a b) == (MyHKD a' b') = a == a' && b == b'  
+project :: MyHKD f -> (f Bool, f ())
+project MyHKD {..} = (one, two)
 
 instance UUT.CategoricalFunctor MyHKD where
   type Dom MyHKD = (->) UUT.~> (->)