diff --git a/Data/Type/Natural.hs b/Data/Type/Natural.hs
--- a/Data/Type/Natural.hs
+++ b/Data/Type/Natural.hs
@@ -27,9 +27,9 @@
 #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
                           (:+$), (:+$$), (:+$$$),
 #endif
-                          (%+), (%:+), (:*:),
+                          (%+), (%:+), (:*), (:*:),
 #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
-                          (:*), (:*$), (:*$$), (:*$$$),
+                          (:*$), (:*$$), (:*$$$),
 #endif
                           (%:*), (%*), (:-:), (:-),
 #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
diff --git a/type-natural.cabal b/type-natural.cabal
--- a/type-natural.cabal
+++ b/type-natural.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                type-natural
-version:             0.2.1.4
+version:             0.2.1.5
 synopsis:            Type-level natural and proofs of their properties.
 description:         Type-level natural numbers and proofs of their properties.
 homepage:            https://github.com/konn/type-natural