diff --git a/XMonad/Actions/RotateSome.hs b/XMonad/Actions/RotateSome.hs
index 8965883c..bff31ad1 100644
--- a/XMonad/Actions/RotateSome.hs
+++ b/XMonad/Actions/RotateSome.hs
@@ -29,6 +29,7 @@ import Data.List (partition, sortOn, (\\))
 import qualified Data.Map as M
 import XMonad (Window, WindowSpace, Rectangle, X, runLayout, screenRect, windows, withWindowSet)
 import XMonad.StackSet (Screen (Screen), Stack (Stack), current, floating, modify', stack)
+import XMonad.Util.Stack (reverseS)
 
 {- $usage
 You can use this module with the following in your @~\/.xmonad\/xmonad.hs@:
@@ -101,7 +102,7 @@ surfaceNext = do
 surfacePrev :: X ()
 surfacePrev = do
   ring <- surfaceRing
-  windows . modify' $ reverseStack . rotateSome (`elem` ring) . reverseStack
+  windows . modify' $ reverseS . rotateSome (`elem` ring) . reverseS
 
 -- |
 -- Return a list containing the current focus plus any unshown windows. Note
@@ -158,6 +159,3 @@ rotateSome p (Stack t ls rs) =
 
 rotate :: [a] -> [a]
 rotate = uncurry (flip (++)) . splitAt 1
-
-reverseStack :: Stack a -> Stack a
-reverseStack (Stack t ls rs) = Stack t rs ls
diff --git a/XMonad/Actions/Sift.hs b/XMonad/Actions/Sift.hs
index ee84ade1..c79d1df6 100644
--- a/XMonad/Actions/Sift.hs
+++ b/XMonad/Actions/Sift.hs
@@ -24,6 +24,7 @@ module XMonad.Actions.Sift (
   ) where
 
 import XMonad.StackSet (Stack (Stack), StackSet, modify')
+import XMonad.Util.Stack (reverseS)
 
 -- $usage
 -- You can use this module with the following in your @~\/.xmonad\/xmonad.hs@:
@@ -44,7 +45,7 @@ import XMonad.StackSet (Stack (Stack), StackSet, modify')
 --
 siftUp, siftDown :: StackSet i l a s sd -> StackSet i l a s sd
 siftUp   = modify' siftUp'
-siftDown = modify' (reverseStack . siftUp' . reverseStack)
+siftDown = modify' (reverseS . siftUp' . reverseS)
 
 siftUp' :: Stack a -> Stack a
 siftUp' (Stack t (l:ls) rs) = Stack t ls (l:rs)
@@ -52,6 +53,3 @@ siftUp' (Stack t []     rs) =
   case reverse rs of
     (x:xs) -> Stack t (xs ++ [x]) []
     []     -> Stack t []          []
-
-reverseStack :: Stack a -> Stack a
-reverseStack (Stack t ls rs) = Stack t rs ls
diff --git a/XMonad/Actions/WorkspaceCursors.hs b/XMonad/Actions/WorkspaceCursors.hs
index 1daa83d3..43fecd75 100644
--- a/XMonad/Actions/WorkspaceCursors.hs
+++ b/XMonad/Actions/WorkspaceCursors.hs
@@ -48,6 +48,7 @@ import XMonad.Layout.LayoutModifier(ModifiedLayout(..),
                                     LayoutModifier(handleMess, redoLayout))
 import XMonad(Typeable, Message, WorkspaceId, X, XState(windowset),
               fromMessage, sendMessage, windows, gets)
+import XMonad.Util.Stack (reverseS)
 import Control.Applicative (liftA2)
 import Control.Monad((<=<), guard, when)
 import Data.Foldable(toList)
@@ -151,8 +152,7 @@ noWrapUp x@(W.Stack _ []   _ ) = x
 
 -- | non-wrapping version of 'W.focusDown''
 noWrapDown ::  W.Stack t -> W.Stack t
-noWrapDown = reverseStack . noWrapUp . reverseStack
-    where reverseStack (W.Stack t ls rs) = W.Stack t rs ls
+noWrapDown = reverseS . noWrapUp . reverseS
 
 focusDepth ::  Cursors t -> Int
 focusDepth (Cons x) = 1 + focusDepth (W.focus x)
diff --git a/XMonad/Layout/BoringWindows.hs b/XMonad/Layout/BoringWindows.hs
index 87b43ce1..071fd971 100644
--- a/XMonad/Layout/BoringWindows.hs
+++ b/XMonad/Layout/BoringWindows.hs
@@ -143,13 +143,13 @@ instance LayoutModifier BoringWindows Window where
                             do windows $ W.modify' skipBoringSwapUp
                                return Nothing
         | Just SwapDown <- fromMessage m =
-                            do windows $ W.modify' (reverseStack . skipBoringSwapUp . reverseStack)
+                            do windows $ W.modify' (reverseS . skipBoringSwapUp . reverseS)
                                return Nothing
         | Just SiftUp <- fromMessage m =
                             do windows $ W.modify' (siftUpSkipping bs)
                                return Nothing
         | Just SiftDown <- fromMessage m =
-                            do windows $ W.modify' (reverseStack . siftUpSkipping bs . reverseStack)
+                            do windows $ W.modify' (reverseS . siftUpSkipping bs . reverseS)
                                return Nothing
         where skipBoring = skipBoring' ((`notElem` bs) . W.focus)
               skipBoringSwapUp = skipBoring'
@@ -162,7 +162,6 @@ instance LayoutModifier BoringWindows Window where
                                    $ iterate f st
               bs = concat $ cbs:maybeToList lbs ++ M.elems nbs
               rjl = return . Just . Left
-              reverseStack (W.Stack t ls rs) = W.Stack t rs ls
     handleMessOrMaybeModifyIt _ _ = return Nothing
 
 -- | Variant of 'focusMaster' that works on a