diff --git a/choice.cabal b/choice.cabal
--- a/choice.cabal
+++ b/choice.cabal
@@ -1,5 +1,5 @@
 name:                choice
-version:             0.2.3
+version:             0.2.4
 synopsis:            A solution to boolean blindness.
 description:         Please see README.md.
 homepage:            https://github.com/mboes/choice#readme
diff --git a/src/Data/Choice.hs b/src/Data/Choice.hs
--- a/src/Data/Choice.hs
+++ b/src/Data/Choice.hs
@@ -9,7 +9,9 @@
 -- 'Choice' is the type of labeled booleans. Use it as follows:
 --
 -- @
+-- {-\# LANGUAGE DataKinds \#-}
 -- {-\# LANGUAGE OverloadedLabels \#-}
+-- {-\# LANGUAGE PatternSynonyms \#-}
 --
 -- import Data.Choice (Choice, pattern Do, pattern Don't)
 --
@@ -187,6 +189,14 @@
 fromBool :: Bool -> Choice a
 fromBool False = Off Label
 fromBool True = On Label
+
+isTrue :: Choice a -> Bool
+isTrue (Off _) = False
+isTrue (On _) = True
+
+isFalse :: Choice a -> Bool
+isFalse (Off _) = True
+isFalse (On _) = False
 
 -- | Case analysis for the 'Choice' type. @choice x y p@ evaluates to @x@ when
 -- @p@ is false, and evaluates to @y@ when @p@ is true.