diff --git a/choice.cabal b/choice.cabal
--- a/choice.cabal
+++ b/choice.cabal
@@ -1,5 +1,5 @@
 name:                choice
-version:             0.2.1
+version:             0.2.2
 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
@@ -11,7 +11,7 @@
 -- @
 -- {-\# LANGUAGE OverloadedLabels \#-}
 --
--- import Data.Choice (Choice, Do, Don't)
+-- import Data.Choice (Choice, pattern Do, pattern Don't)
 --
 -- -- Blocking read: block until N bytes available.
 -- -- Non-blocking: return as many bytes as are available.
@@ -57,6 +57,11 @@
   , pattern Isn't
   , pattern With
   , pattern Without
+  , pattern Must
+  , pattern Mustn't
+  , pattern Needn't
+  , pattern Can
+  , pattern Can't
   -- * Internal
   -- $label-export
   , Label(..)
@@ -123,6 +128,21 @@
 
 -- | Alias for 'False', e.g. @Without #ownDirectory@.
 pattern Without x = Off x
+
+-- | Alias for 'True', e.g. @Must #succeed@.
+pattern Must x = On x
+
+-- | Alias for 'False', e.g. @Mustn't #succeed@.
+pattern Mustn't x = Off x
+
+-- | Alias for 'False', e.g. @Needn't #succeed@.
+pattern Needn't x = Off x
+
+-- | Alias for 'True', e.g. @Can #fail@.
+pattern Can x = On x
+
+-- | Alias for 'False', e.g. @Can't #fail@.
+pattern Can't x = Off x
 
 toBool :: Choice a -> Bool
 toBool (Off _) = False