diff --git a/src/Data/UniformPair.hs b/src/Data/UniformPair.hs
--- a/src/Data/UniformPair.hs
+++ b/src/Data/UniformPair.hs
@@ -16,7 +16,7 @@
 ----------------------------------------------------------------------
 
 module Data.UniformPair
-  ( Pair(..), fstP,sndP, firstP, secondP, updateP, compareSwap
+  ( Pair(..), fstP,sndP, firstP, secondP, getP, onElemP, compareSwap
   ) where
 
 import Data.Monoid (Monoid(..),(<>))
@@ -73,16 +73,17 @@
 --      (c :# _) = f a
 --      (_ :# d) = f b
 
--- Update a component, indexing by 'False' for the first element and 'True' for
+-- | Update a component, indexing by 'False' for the first element and 'True' for
 -- the second.
-updateP :: Bool -> (a -> a) -> Pair a -> Pair a
-updateP False f (a :# b) = f a :# b
-updateP True  f (a :# b) = a :# f b
+onElemP :: Bool -> (a -> a) -> Pair a -> Pair a
+onElemP False f (a :# b) = f a :# b
+onElemP True  f (a :# b) = a :# f b
 
--- -- Untrie. What argument order do I want here?
--- getP :: Pair a -> Bool -> a
--- getP (a :# _) False = a
--- getP (_ :# b) True  = b
+-- | Extract an element, indexing by 'False' for the first element and 'True'
+-- for the second.
+getP :: Bool -> Pair a -> a
+getP False (a :# _) = a
+getP True  (_ :# b) = b
 
 -- Compare and swap
 compareSwap :: Ord a => Pair a -> Pair a
diff --git a/uniform-pair.cabal b/uniform-pair.cabal
--- a/uniform-pair.cabal
+++ b/uniform-pair.cabal
@@ -1,5 +1,5 @@
 Name:                uniform-pair
-Version:             0.1.6
+Version:             0.1.7
 Cabal-Version:       >= 1.6
 Synopsis:            Uniform pairs with class instances
 Category:            Data