diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+0.2.1
+
+* `minimum` and `maximum` functions.
+
 0.2.0
 
 * Initial release.
diff --git a/papa-semigroupoids-implement.cabal b/papa-semigroupoids-implement.cabal
--- a/papa-semigroupoids-implement.cabal
+++ b/papa-semigroupoids-implement.cabal
@@ -1,5 +1,5 @@
 name:               papa-semigroupoids-implement
-version:            0.2.0
+version:            0.2.1
 license:            BSD3
 license-file:       LICENSE
 author:             Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>
@@ -8,15 +8,15 @@
 synopsis:           useful `bifunctors` functions reimplemented
 category:           Prelude
 description:        useful `bifunctors` functions reimplemented
-homepage:           https://github.com/data61/papa-semigroupoids-implement
-bug-reports:        https://github.com/data61/papa-semigroupoids-implement/issues
+homepage:           https://github.com/data61/papa
+bug-reports:        https://github.com/data61/papa/issues
 cabal-version:      >= 1.10
 build-type:         Custom
 extra-source-files: changelog
 
 source-repository   head
   type:             git
-  location:         git@github.com:data61/papa-semigroupoids-implement.git
+  location:         git@github.com:data61/papa.git
 
 flag                small_base
   description:      Choose the new, split-up base package.
@@ -41,6 +41,7 @@
   exposed-modules:
                     Papa.Semigroupoids.Implement
                     Papa.Semigroupoids.Implement.Data.Functor.Bind
+                    Papa.Semigroupoids.Implement.Data.Semigroup.Foldable
                     
 test-suite doctests
   type:
diff --git a/src/Papa/Semigroupoids/Implement.hs b/src/Papa/Semigroupoids/Implement.hs
--- a/src/Papa/Semigroupoids/Implement.hs
+++ b/src/Papa/Semigroupoids/Implement.hs
@@ -5,3 +5,4 @@
 ) where
 
 import Papa.Semigroupoids.Implement.Data.Functor.Bind as P
+import Papa.Semigroupoids.Implement.Data.Semigroup.Foldable as P
diff --git a/src/Papa/Semigroupoids/Implement/Data/Semigroup/Foldable.hs b/src/Papa/Semigroupoids/Implement/Data/Semigroup/Foldable.hs
new file mode 100644
--- /dev/null
+++ b/src/Papa/Semigroupoids/Implement/Data/Semigroup/Foldable.hs
@@ -0,0 +1,25 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+
+module Papa.Semigroupoids.Implement.Data.Semigroup.Foldable(
+  maximum
+, minimum
+) where
+
+import Control.Category((.))
+import Data.Ord(Ord(max, min))
+import Data.Semigroup.Foldable
+import Data.Semigroup(Max(Max, getMax), Min(Min, getMin))
+
+maximum ::
+  (Ord a, Foldable1 f) =>
+  f a
+  -> a
+maximum =
+  getMax . foldMap1 Max
+
+minimum ::
+  (Ord a, Foldable1 f) =>
+  f a
+  -> a
+minimum =
+  getMin . foldMap1 Min