diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,8 @@
+# 0.0.0.1
+
+Add `Lower` instances for some `Data.Monoid` types.
+
+
 # 0.0.0.0
 
 Initial release on hackage.
diff --git a/semilattices.cabal b/semilattices.cabal
--- a/semilattices.cabal
+++ b/semilattices.cabal
@@ -1,5 +1,5 @@
 name:                semilattices
-version:             0.0.0.0
+version:             0.0.0.1
 synopsis:            Semilattices
 description:         Join- and meet-semilattices, with optional upper and lower bounds, and a variety of instances for each.
 homepage:            https://github.com/robrix/semilattices
@@ -7,7 +7,7 @@
 license-file:        LICENSE
 author:              Rob Rix
 maintainer:          rob.rix@me.com
-copyright:           2017 Rob Rix
+copyright:           2017-2018 Rob Rix
 category:            Algebra, Data, Data Structures, Math
 build-type:          Simple
 cabal-version:       >=1.10
diff --git a/src/Data/Semilattice/Lower.hs b/src/Data/Semilattice/Lower.hs
--- a/src/Data/Semilattice/Lower.hs
+++ b/src/Data/Semilattice/Lower.hs
@@ -122,6 +122,9 @@
 instance Lower a => Lower (Product a) where lowerBound = Product lowerBound
 instance Lower a => Lower (Sum a) where lowerBound = Sum lowerBound
 instance Lower a => Lower (Dual a) where lowerBound = Dual lowerBound
+instance Lower (Endo a) where lowerBound = Endo id
+instance Lower (Monoid.First a) where lowerBound = mempty
+instance Lower (Monoid.Last a) where lowerBound = mempty
 
 -- Data.Proxy
 instance Lower (Proxy a)