diff --git a/Math/Manifold/VectorSpace/ZeroDimensional.hs b/Math/Manifold/VectorSpace/ZeroDimensional.hs
--- a/Math/Manifold/VectorSpace/ZeroDimensional.hs
+++ b/Math/Manifold/VectorSpace/ZeroDimensional.hs
@@ -17,14 +17,17 @@
 import Data.VectorSpace
 import Data.Basis
 import Data.Void
+import Data.Semigroup
 
 
 
 data ZeroDim s = Origin deriving (Eq, Show)
 
+instance Semigroup (ZeroDim s) where
+  Origin<>Origin = Origin
 instance Monoid (ZeroDim s) where
   mempty = Origin
-  mappend Origin Origin = Origin
+  mappend = (<>)
 
 instance AffineSpace (ZeroDim s) where
   type Diff (ZeroDim s) = ZeroDim s
diff --git a/manifolds-core.cabal b/manifolds-core.cabal
--- a/manifolds-core.cabal
+++ b/manifolds-core.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                manifolds-core
-version:             0.5.0.2
+version:             0.5.0.3
 synopsis:            The basic classes for the manifolds hierarchy.
 description:         The basic classes for the
                      <http://hackage.haskell.org/package/manifolds manifolds> hierarchy.