diff --git a/Boolean.cabal b/Boolean.cabal
--- a/Boolean.cabal
+++ b/Boolean.cabal
@@ -1,7 +1,7 @@
 Name:                Boolean
-Version:             0.0.0
+Version:             0.0.1
 Cabal-Version:       >= 1.2
-Synopsis:            Generalized boolean ops
+Synopsis:            Generalized booleans
 Category:            Data
 Description:
   Some classes for generalized boolean operations.
diff --git a/src/Data/Boolean.hs b/src/Data/Boolean.hs
--- a/src/Data/Boolean.hs
+++ b/src/Data/Boolean.hs
@@ -28,11 +28,11 @@
 module Data.Boolean
   (
     Boolean(..),IfB(..), boolean, cond, crop
-  , EqB(..), OrdB(..)
+  , EqB(..), OrdB(..), minB, maxB
   ) where
 
 import Data.Monoid (Monoid,mempty)
-import Control.Applicative (Applicative(..),liftA2,liftA3)
+import Control.Applicative (Applicative(pure),liftA2,liftA3)
 
 
 {--------------------------------------------------------------------
@@ -87,6 +87,14 @@
   u >*  v = v <* u
   u >=* v = notB (u <* v)
   u <=* v = v >=* u
+
+-- | Variant of 'min' using 'ifB' and '(<=*)'
+minB :: (IfB bool a, OrdB bool a) => a -> a -> a
+u `minB` v = ifB (u <=* v) u v
+
+-- | Variant of 'max' using 'ifB' and '(>=*)'
+maxB :: (IfB bool a, OrdB bool a) => a -> a -> a
+u `maxB` v = ifB (u >=* v) u v
 
 {--------------------------------------------------------------------
     Some instances