diff --git a/free-algebras.cabal b/free-algebras.cabal
--- a/free-algebras.cabal
+++ b/free-algebras.cabal
@@ -1,9 +1,10 @@
 name:           free-algebras
-version:        0.0.8.0
-synopsis:       Free algebras in Haskell.
-description:    Universal algebra approach to free algebras including higher
-                kinded algebraic structures like functors, applicative
-                functors, monads or categories .
+version:        0.0.8.1
+synopsis:       Free algebras
+description:
+  Algebraic approach to free algebras, inspired by Univeral Algebra and
+  Category Theory, including higher kinded algebraic structures like functors,
+  applicative functors, monads or categories.
 category:       Algebra, Control, Monads
 homepage:       https://github.com/coot/free-algebras#readme
 bug-reports:    https://github.com/coot/free-algebras/issues
@@ -17,6 +18,7 @@
 extra-source-files:
     ChangeLog.md
     README.md
+stability:      experimental
 tested-with:    GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.3, GHC==8.8.1
 
 source-repository head
diff --git a/src/Data/Algebra/Free.hs b/src/Data/Algebra/Free.hs
--- a/src/Data/Algebra/Free.hs
+++ b/src/Data/Algebra/Free.hs
@@ -108,7 +108,7 @@
          . ( AlgebraType m d
            , AlgebraType0 m a
            )
-        => (a -> d)   -- ^ a mappping of generators of @m@ into @d@
+        => (a -> d)   -- ^ a mapping of generators of @m@ into @d@
         -> (m a -> d) -- ^ a homomorphism from @m a@ to @d@
 
     -- |