diff --git a/mediabus.cabal b/mediabus.cabal
--- a/mediabus.cabal
+++ b/mediabus.cabal
@@ -1,5 +1,5 @@
 name: mediabus
-version: 0.3.0.0
+version: 0.3.0.1
 cabal-version: >=1.10
 build-type: Simple
 license: BSD3
@@ -112,7 +112,7 @@
         conduit >=1.2.9 && <1.3,
         conduit-combinators >=1.1.0 && <1.2,
         conduit-extra >=1.1.15 && <1.2,
-        mediabus >=0.3.0.0 && <0.4,
+        mediabus >=0.3.0.1 && <0.4,
         containers >=0.5.7.1 && <0.6,
         data-default >=0.7.1.1 && <0.8,
         deepseq >=1.4.2.0 && <1.5,
diff --git a/src/Data/MediaBus/Basics/Monotone.hs b/src/Data/MediaBus/Basics/Monotone.hs
--- a/src/Data/MediaBus/Basics/Monotone.hs
+++ b/src/Data/MediaBus/Basics/Monotone.hs
@@ -5,13 +5,14 @@
 import           Data.Word
 import           Data.Int
 
--- | Class of numbers that are monotone increasing (or decreasing) and have a
--- relative order, that is not necessarily transitive.
+-- | Class of numbers that are monotone increasing having only a relative order,
+-- that is not necessarily transitive.
 --
--- For example, for a series of 'Word8' values: @0 64 128 192 0 64 128 ...@
--- could be interpreted as a monotone series of consecutive increasing values,
--- that wrap around after 255. But note that the 'Ord' instance is not
--- sufficient to express that @0@ is __after__ @192@, since @0 < 192@.
+-- For example, a series of 'Word8' values: @0 64 128 192 0 64 128 ...@ could be
+-- interpreted as a monotone series of consecutive increasing values, that wrap
+-- around after 255. But note that the 'Ord' instance is not sufficient to
+-- express that @0@ `succeeds` @192@, since 'Ord' ensures complete transitivity
+-- and therefore @0 < 192@.
 class LocalOrd a where
     succeeds :: a -> a -> Bool
     default succeeds :: (Bounded a, Integral a) => a -> a -> Bool
diff --git a/src/Data/MediaBus/Basics/OrderedBy.hs b/src/Data/MediaBus/Basics/OrderedBy.hs
--- a/src/Data/MediaBus/Basics/OrderedBy.hs
+++ b/src/Data/MediaBus/Basics/OrderedBy.hs
@@ -1,13 +1,13 @@
--- | Value level 'Ord'er. Sometimes values are stored in e.g. 'Data.Set.Set's
--- and the default 'Ord' instance isn't what we want. In that case it would be
--- great to pass the comparison as an explicit function.
+-- | Value level 'Ord'er. Sometimes values stored in e.g. 'Data.Set.Set's have
+-- an 'Ord' instance, which does not represent the desired order. In that case
+-- use this product type to pass a value along with the value to be for
+-- comparison by the 'Eq' and 'Ord' instances.
 module Data.MediaBus.Basics.OrderedBy ( OrderedBy(..) ) where
 
--- | A wrapper around a value (to be compared) and a function to the value that
--- shall be compared against.
+-- | A wrapper around a /payload/ value paired with a value to be used when /comparing/ that payload value.
 data OrderedBy cmp a = MkOrderedBy
-  { orderedByComparableValue :: cmp
-  , orderedByValue :: a
+  { orderedByComparableValue :: cmp -- ^ Value to compare
+  , orderedByValue :: a -- ^ actual value
   }
 
 instance Eq cmp => Eq (OrderedBy cmp a) where