diff --git a/lawful-conversions.cabal b/lawful-conversions.cabal
--- a/lawful-conversions.cabal
+++ b/lawful-conversions.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: lawful-conversions
-version: 0.3.0.4
+version: 0.3.1
 synopsis: Lawful typeclasses for bidirectional conversion between types
 category: Conversion
 homepage: https://github.com/nikita-volkov/lawful-conversions
diff --git a/src/library/LawfulConversions/Properties.hs b/src/library/LawfulConversions/Properties.hs
--- a/src/library/LawfulConversions/Properties.hs
+++ b/src/library/LawfulConversions/Properties.hs
@@ -30,8 +30,9 @@
 isSomeProperties aProxy bProxy =
   [ ( "'to' is injective",
       property \b1 b2 ->
-        b1 /= b2 ==>
-          to' b1 =/= to' b2
+        if b1 == b2
+          then property True
+          else to' b1 =/= to' b2
     ),
     ( "'maybeFrom' is a partial inverse of 'to'",
       property \b ->