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
+version: 0.3.0.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.hs b/src/library/LawfulConversions.hs
--- a/src/library/LawfulConversions.hs
+++ b/src/library/LawfulConversions.hs
@@ -15,7 +15,7 @@
 -- > to @String :: IsSome String b => b -> String
 --
 -- > > :t from @Text
--- > from @Text :: IsMany Text b => Text -> b
+-- > from @Text :: IsSome a Text => Text -> a
 --
 -- In other words 'to' and 'from' let you explicitly specify either the source
 -- or the target type of a conversion when you need to help the type
diff --git a/src/library/LawfulConversions/Algebra.hs b/src/library/LawfulConversions/Algebra.hs
--- a/src/library/LawfulConversions/Algebra.hs
+++ b/src/library/LawfulConversions/Algebra.hs
@@ -84,9 +84,7 @@
 -- > maybeToInt16 :: Int32 -> Maybe Int16
 -- > maybeToInt16 = maybeTo @Int16
 --
--- E.g.,
---
--- > result = maybeTo @Percent someDouble
+-- > percent = maybeTo @Percent someDouble
 maybeTo :: forall b a. (IsSome a b) => a -> Maybe b
 maybeTo = maybeFrom