{-# LANGUAGE PatternGuards #-}
{-# OPTIONS_GHC -fno-warn-missing-signatures -fno-warn-orphans #-}
-----------------------------------------------------------------------------
-- |
-- Module      :  XMonad.Config.Droundy
-- Description :  David Roundy's xmonad config.
-- Copyright   :  (c) Spencer Janssen 2007
-- License     :  BSD3-style (see LICENSE)
--
------------------------------------------------------------------------
module XMonad.Config.Droundy ( config, mytab ) where

import XMonad hiding (keys, config)
import qualified XMonad (keys)

import qualified XMonad.StackSet as W
import qualified Data.Map as M
import System.Exit ( exitSuccess )

import XMonad.Layout.Tabbed ( tabbed,
                              shrinkText, Shrinker, shrinkIt, CustomShrink(CustomShrink) )
import XMonad.Layout.Combo ( combineTwo )
import XMonad.Layout.Named ( named )
import XMonad.Layout.LayoutCombinators
import XMonad.Layout.Square ( Square(Square) )
import XMonad.Layout.WindowNavigation ( Navigate(Move,Swap,Go), Direction2D(U,D,R,L),
                                        windowNavigation )
import XMonad.Layout.BoringWindows ( boringWindows, markBoring, clearBoring,
                                     focusUp, focusDown )
import XMonad.Layout.NoBorders ( smartBorders )
import XMonad.Layout.WorkspaceDir ( changeDir, workspaceDir )
import XMonad.Layout.ToggleLayouts ( toggleLayouts, ToggleLayout(ToggleLayout) )
import XMonad.Layout.ShowWName ( showWName )
import XMonad.Layout.Magnifier ( maximizeVertical, MagnifyMsg(Toggle) )

import XMonad.Prompt ( font, height, XPConfig )
import XMonad.Prompt.Layout ( layoutPrompt )
import XMonad.Prompt.Shell ( shellPrompt )

import XMonad.Actions.CopyWindow ( kill1, copy )
import XMonad.Actions.DynamicWorkspaces ( withNthWorkspace, withWorkspace,
                                          selectWorkspace, renameWorkspace, removeWorkspace )
import XMonad.Actions.CycleWS ( moveTo, hiddenWS, emptyWS,
                                Direction1D( Prev, Next), WSType ((:&:), Not) )

import XMonad.Hooks.ManageDocks ( avoidStruts, docks )
import XMonad.Hooks.EwmhDesktops ( ewmh )

myXPConfig :: XPConfig
myXPConfig :: XPConfig
myXPConfig = XPConfig
forall a. Default a => a
def {font :: String
font=String
"-*-lucida-medium-r-*-*-14-*-*-*-*-*-*-*"
                 ,height :: Dimension
height=Dimension
22}


------------------------------------------------------------------------
-- Key bindings:

-- | The xmonad key bindings. Add, modify or remove key bindings here.
--
-- (The comment formatting character is used when generating the manpage)
--
keys :: XConfig Layout -> M.Map (KeyMask, KeySym) (X ())
keys :: XConfig Layout -> Map (KeyMask, KeySym) (X ())
keys XConfig Layout
x = [((KeyMask, KeySym), X ())] -> Map (KeyMask, KeySym) (X ())
forall k a. Ord k => [(k, a)] -> Map k a
M.fromList ([((KeyMask, KeySym), X ())] -> Map (KeyMask, KeySym) (X ()))
-> [((KeyMask, KeySym), X ())] -> Map (KeyMask, KeySym) (X ())
forall a b. (a -> b) -> a -> b
$
    -- launching and killing programs
    [ ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_c     ), X ()
kill1) -- %! Close the focused window

    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_space ), ChangeLayout -> X ()
forall a. Message a => a -> X ()
sendMessage ChangeLayout
NextLayout) -- %! Rotate through the available layout algorithms
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_L ), Layout KeySym -> X ()
setLayout (Layout KeySym -> X ()) -> Layout KeySym -> X ()
forall a b. (a -> b) -> a -> b
$ XConfig Layout -> Layout KeySym
forall (l :: * -> *). XConfig l -> l KeySym
layoutHook XConfig Layout
x) -- %!  Reset the layouts on the current workspace to default

    -- move focus up or down the window stack
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x,               KeySym
xK_Tab   ), X ()
focusDown) -- %! Move focus to the next window
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x,               KeySym
xK_j     ), X ()
focusDown) -- %! Move focus to the next window
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x,               KeySym
xK_k     ), X ()
focusUp  ) -- %! Move focus to the previous window

    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_j     ), (WindowSet -> WindowSet) -> X ()
windows WindowSet -> WindowSet
forall i l a s sd. StackSet i l a s sd -> StackSet i l a s sd
W.swapDown  ) -- %! Swap the focused window with the next window
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_k     ), (WindowSet -> WindowSet) -> X ()
windows WindowSet -> WindowSet
forall i l a s sd. StackSet i l a s sd -> StackSet i l a s sd
W.swapUp    ) -- %! Swap the focused window with the previous window

    -- floating layer support
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x,               KeySym
xK_t     ), (KeySym -> X ()) -> X ()
withFocused ((KeySym -> X ()) -> X ()) -> (KeySym -> X ()) -> X ()
forall a b. (a -> b) -> a -> b
$ (WindowSet -> WindowSet) -> X ()
windows ((WindowSet -> WindowSet) -> X ())
-> (KeySym -> WindowSet -> WindowSet) -> KeySym -> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. KeySym -> WindowSet -> WindowSet
forall a i l s sd.
Ord a =>
a -> StackSet i l a s sd -> StackSet i l a s sd
W.sink) -- %! Push window back into tiling

    -- quit, or restart
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Escape), IO () -> X ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
io IO ()
forall a. IO a
exitSuccess) -- %! Quit xmonad
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x              , KeySym
xK_Escape), String -> Bool -> X ()
restart String
"xmonad" Bool
True) -- %! Restart xmonad

    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Right), Direction1D -> WSType -> X ()
moveTo Direction1D
Next (WSType -> X ()) -> WSType -> X ()
forall a b. (a -> b) -> a -> b
$ WSType
hiddenWS WSType -> WSType -> WSType
:&: WSType -> WSType
Not WSType
emptyWS)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Left), Direction1D -> WSType -> X ()
moveTo Direction1D
Prev (WSType -> X ()) -> WSType -> X ()
forall a b. (a -> b) -> a -> b
$ WSType
hiddenWS WSType -> WSType -> WSType
:&: WSType -> WSType
Not WSType
emptyWS)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_Right), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Go Direction2D
R)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_Left), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Go Direction2D
L)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_Up), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Go Direction2D
U)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_Down), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Go Direction2D
D)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask, KeySym
xK_Right), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Swap Direction2D
R)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask, KeySym
xK_Left), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Swap Direction2D
L)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask, KeySym
xK_Up), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Swap Direction2D
U)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask, KeySym
xK_Down), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Swap Direction2D
D)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Right), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Move Direction2D
R)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Left), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Move Direction2D
L)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Up), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Move Direction2D
U)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_Down), Navigate -> X ()
forall a. Message a => a -> X ()
sendMessage (Navigate -> X ()) -> Navigate -> X ()
forall a b. (a -> b) -> a -> b
$ Direction2D -> Navigate
Move Direction2D
D)

    , ((KeyMask
0, KeySym
xK_F2  ), String -> X ()
forall (m :: * -> *). MonadIO m => String -> m ()
spawn String
"gnome-terminal") -- %! Launch gnome-terminal
    , ((KeyMask
0, KeySym
xK_F3  ), XPConfig -> X ()
shellPrompt XPConfig
myXPConfig) -- %! Launch program
    , ((KeyMask
0, KeySym
xK_F11   ), String -> X ()
forall (m :: * -> *). MonadIO m => String -> m ()
spawn String
"ksnapshot") -- %! Take snapshot
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_b     ), X ()
markBoring)
    , ((KeyMask
controlMask KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_b     ), X ()
clearBoring)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_x     ), XPConfig -> X ()
changeDir XPConfig
myXPConfig)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_BackSpace), X ()
removeWorkspace)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_v     ), XPConfig -> X ()
selectWorkspace XPConfig
myXPConfig)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_m     ), XPConfig -> (String -> X ()) -> X ()
withWorkspace XPConfig
myXPConfig ((WindowSet -> WindowSet) -> X ()
windows ((WindowSet -> WindowSet) -> X ())
-> (String -> WindowSet -> WindowSet) -> String -> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> WindowSet -> WindowSet
forall a s i l sd.
(Ord a, Eq s, Eq i) =>
i -> StackSet i l a s sd -> StackSet i l a s sd
W.shift))
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_m     ), XPConfig -> (String -> X ()) -> X ()
withWorkspace XPConfig
myXPConfig ((WindowSet -> WindowSet) -> X ()
windows ((WindowSet -> WindowSet) -> X ())
-> (String -> WindowSet -> WindowSet) -> String -> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> WindowSet -> WindowSet
forall s i a l sd.
(Eq s, Eq i, Eq a) =>
i -> StackSet i l a s sd -> StackSet i l a s sd
copy))
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask, KeySym
xK_r), XPConfig -> X ()
renameWorkspace XPConfig
myXPConfig)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_l ), XPConfig -> X ()
layoutPrompt XPConfig
myXPConfig)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
controlMask, KeySym
xK_space), ToggleLayout -> X ()
forall a. Message a => a -> X ()
sendMessage ToggleLayout
ToggleLayout)
    , ((XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x, KeySym
xK_space), MagnifyMsg -> X ()
forall a. Message a => a -> X ()
sendMessage MagnifyMsg
Toggle)

    ]

    [((KeyMask, KeySym), X ())]
-> [((KeyMask, KeySym), X ())] -> [((KeyMask, KeySym), X ())]
forall a. [a] -> [a] -> [a]
++
    [(KeyMask, KeySym)] -> [X ()] -> [((KeyMask, KeySym), X ())]
forall a b. [a] -> [b] -> [(a, b)]
zip ([KeyMask] -> [KeySym] -> [(KeyMask, KeySym)]
forall a b. [a] -> [b] -> [(a, b)]
zip (KeyMask -> [KeyMask]
forall a. a -> [a]
repeat (KeyMask -> [KeyMask]) -> KeyMask -> [KeyMask]
forall a b. (a -> b) -> a -> b
$ XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x) [KeySym
xK_F1..KeySym
xK_F12]) ((Int -> X ()) -> [Int] -> [X ()]
forall a b. (a -> b) -> [a] -> [b]
map ((String -> WindowSet -> WindowSet) -> Int -> X ()
withNthWorkspace String -> WindowSet -> WindowSet
forall s i l a sd.
(Eq s, Eq i) =>
i -> StackSet i l a s sd -> StackSet i l a s sd
W.greedyView) [Int
0..])
    [((KeyMask, KeySym), X ())]
-> [((KeyMask, KeySym), X ())] -> [((KeyMask, KeySym), X ())]
forall a. [a] -> [a] -> [a]
++
    [(KeyMask, KeySym)] -> [X ()] -> [((KeyMask, KeySym), X ())]
forall a b. [a] -> [b] -> [(a, b)]
zip ([KeyMask] -> [KeySym] -> [(KeyMask, KeySym)]
forall a b. [a] -> [b] -> [(a, b)]
zip (KeyMask -> [KeyMask]
forall a. a -> [a]
repeat (XConfig Layout -> KeyMask
forall (l :: * -> *). XConfig l -> KeyMask
modMask XConfig Layout
x KeyMask -> KeyMask -> KeyMask
forall a. Bits a => a -> a -> a
.|. KeyMask
shiftMask)) [KeySym
xK_F1..KeySym
xK_F12]) ((Int -> X ()) -> [Int] -> [X ()]
forall a b. (a -> b) -> [a] -> [b]
map ((String -> WindowSet -> WindowSet) -> Int -> X ()
withNthWorkspace String -> WindowSet -> WindowSet
forall s i a l sd.
(Eq s, Eq i, Eq a) =>
i -> StackSet i l a s sd -> StackSet i l a s sd
copy) [Int
0..])

config :: XConfig
  (ModifiedLayout
     ShowWName
     (ModifiedLayout
        WorkspaceDir
        (ModifiedLayout
           BoringWindows
           (ModifiedLayout
              SmartBorder
              (ModifiedLayout
                 WindowNavigation
                 (ModifiedLayout
                    Magnifier
                    (ToggleLayouts
                       Full
                       (ModifiedLayout
                          AvoidStruts
                          (Choose
                             (ModifiedLayout
                                Rename
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest))
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))))))))))))
config = XConfig
  (ModifiedLayout
     ShowWName
     (ModifiedLayout
        WorkspaceDir
        (ModifiedLayout
           BoringWindows
           (ModifiedLayout
              SmartBorder
              (ModifiedLayout
                 WindowNavigation
                 (ModifiedLayout
                    Magnifier
                    (ToggleLayouts
                       Full
                       (ModifiedLayout
                          AvoidStruts
                          (Choose
                             (ModifiedLayout
                                Rename
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest))
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))))))))))))
-> XConfig
     (ModifiedLayout
        ShowWName
        (ModifiedLayout
           WorkspaceDir
           (ModifiedLayout
              BoringWindows
              (ModifiedLayout
                 SmartBorder
                 (ModifiedLayout
                    WindowNavigation
                    (ModifiedLayout
                       Magnifier
                       (ToggleLayouts
                          Full
                          (ModifiedLayout
                             AvoidStruts
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))
                                   (Choose
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (CombineTwo
                                                  (Square ())
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)))))
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest))
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))))))))))))
forall (a :: * -> *). XConfig a -> XConfig a
docks (XConfig
   (ModifiedLayout
      ShowWName
      (ModifiedLayout
         WorkspaceDir
         (ModifiedLayout
            BoringWindows
            (ModifiedLayout
               SmartBorder
               (ModifiedLayout
                  WindowNavigation
                  (ModifiedLayout
                     Magnifier
                     (ToggleLayouts
                        Full
                        (ModifiedLayout
                           AvoidStruts
                           (Choose
                              (ModifiedLayout
                                 Rename
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))
                              (Choose
                                 (ModifiedLayout
                                    Rename
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (CombineTwo
                                          (Square ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                                 (Choose
                                    (ModifiedLayout
                                       Rename
                                       (CombineTwo
                                          (DragPane ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (CombineTwo
                                             (DragPane ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (CombineTwo
                                                (Square ())
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)))))
                                    (ModifiedLayout
                                       Rename
                                       (CombineTwo
                                          (DragPane ())
                                          (CombineTwo
                                             (DragPane ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest))
                                          (CombineTwo
                                             (Square ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest)))))))))))))))
 -> XConfig
      (ModifiedLayout
         ShowWName
         (ModifiedLayout
            WorkspaceDir
            (ModifiedLayout
               BoringWindows
               (ModifiedLayout
                  SmartBorder
                  (ModifiedLayout
                     WindowNavigation
                     (ModifiedLayout
                        Magnifier
                        (ToggleLayouts
                           Full
                           (ModifiedLayout
                              AvoidStruts
                              (Choose
                                 (ModifiedLayout
                                    Rename
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest))
                                 (Choose
                                    (ModifiedLayout
                                       Rename
                                       (CombineTwo
                                          (DragPane ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (CombineTwo
                                             (Square ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest))))
                                    (Choose
                                       (ModifiedLayout
                                          Rename
                                          (CombineTwo
                                             (DragPane ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (CombineTwo
                                                (DragPane ())
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)
                                                (CombineTwo
                                                   (Square ())
                                                   (ModifiedLayout
                                                      (Decoration TabbedDecoration CustomShrink)
                                                      Simplest)
                                                   (ModifiedLayout
                                                      (Decoration TabbedDecoration CustomShrink)
                                                      Simplest)))))
                                       (ModifiedLayout
                                          Rename
                                          (CombineTwo
                                             (DragPane ())
                                             (CombineTwo
                                                (DragPane ())
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest))
                                             (CombineTwo
                                                (Square ())
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest))))))))))))))))
-> XConfig
     (ModifiedLayout
        ShowWName
        (ModifiedLayout
           WorkspaceDir
           (ModifiedLayout
              BoringWindows
              (ModifiedLayout
                 SmartBorder
                 (ModifiedLayout
                    WindowNavigation
                    (ModifiedLayout
                       Magnifier
                       (ToggleLayouts
                          Full
                          (ModifiedLayout
                             AvoidStruts
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))
                                   (Choose
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (CombineTwo
                                                  (Square ())
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)))))
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest))
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))))))))))))
-> XConfig
     (ModifiedLayout
        ShowWName
        (ModifiedLayout
           WorkspaceDir
           (ModifiedLayout
              BoringWindows
              (ModifiedLayout
                 SmartBorder
                 (ModifiedLayout
                    WindowNavigation
                    (ModifiedLayout
                       Magnifier
                       (ToggleLayouts
                          Full
                          (ModifiedLayout
                             AvoidStruts
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))
                                   (Choose
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (CombineTwo
                                                  (Square ())
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)))))
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest))
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))))))))))))
forall a b. (a -> b) -> a -> b
$ XConfig
  (ModifiedLayout
     ShowWName
     (ModifiedLayout
        WorkspaceDir
        (ModifiedLayout
           BoringWindows
           (ModifiedLayout
              SmartBorder
              (ModifiedLayout
                 WindowNavigation
                 (ModifiedLayout
                    Magnifier
                    (ToggleLayouts
                       Full
                       (ModifiedLayout
                          AvoidStruts
                          (Choose
                             (ModifiedLayout
                                Rename
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest))
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))))))))))))
-> XConfig
     (ModifiedLayout
        ShowWName
        (ModifiedLayout
           WorkspaceDir
           (ModifiedLayout
              BoringWindows
              (ModifiedLayout
                 SmartBorder
                 (ModifiedLayout
                    WindowNavigation
                    (ModifiedLayout
                       Magnifier
                       (ToggleLayouts
                          Full
                          (ModifiedLayout
                             AvoidStruts
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))
                                   (Choose
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (CombineTwo
                                                  (Square ())
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)
                                                  (ModifiedLayout
                                                     (Decoration TabbedDecoration CustomShrink)
                                                     Simplest)))))
                                      (ModifiedLayout
                                         Rename
                                         (CombineTwo
                                            (DragPane ())
                                            (CombineTwo
                                               (DragPane ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest))
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))))))))))))
forall (a :: * -> *). XConfig a -> XConfig a
ewmh XConfig (Choose Tall (Choose (Mirror Tall) Full))
forall a. Default a => a
def
         { borderWidth :: Dimension
borderWidth = Dimension
1 -- Width of the window border in pixels.
         , workspaces :: [String]
XMonad.workspaces = [String
"mutt",String
"iceweasel"]
         , layoutHook :: ModifiedLayout
  ShowWName
  (ModifiedLayout
     WorkspaceDir
     (ModifiedLayout
        BoringWindows
        (ModifiedLayout
           SmartBorder
           (ModifiedLayout
              WindowNavigation
              (ModifiedLayout
                 Magnifier
                 (ToggleLayouts
                    Full
                    (ModifiedLayout
                       AvoidStruts
                       (Choose
                          (ModifiedLayout
                             Rename
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink)
                                            Simplest))))))))))))))
  KeySym
layoutHook = ModifiedLayout
  WorkspaceDir
  (ModifiedLayout
     BoringWindows
     (ModifiedLayout
        SmartBorder
        (ModifiedLayout
           WindowNavigation
           (ModifiedLayout
              Magnifier
              (ToggleLayouts
                 Full
                 (ModifiedLayout
                    AvoidStruts
                    (Choose
                       (ModifiedLayout
                          Rename
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)))))
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink)
                                         Simplest)))))))))))))
  KeySym
-> ModifiedLayout
     ShowWName
     (ModifiedLayout
        WorkspaceDir
        (ModifiedLayout
           BoringWindows
           (ModifiedLayout
              SmartBorder
              (ModifiedLayout
                 WindowNavigation
                 (ModifiedLayout
                    Magnifier
                    (ToggleLayouts
                       Full
                       (ModifiedLayout
                          AvoidStruts
                          (Choose
                             (ModifiedLayout
                                Rename
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest))
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))))))))))))
     KeySym
forall (l :: * -> *) a. l a -> ModifiedLayout ShowWName l a
showWName (ModifiedLayout
   WorkspaceDir
   (ModifiedLayout
      BoringWindows
      (ModifiedLayout
         SmartBorder
         (ModifiedLayout
            WindowNavigation
            (ModifiedLayout
               Magnifier
               (ToggleLayouts
                  Full
                  (ModifiedLayout
                     AvoidStruts
                     (Choose
                        (ModifiedLayout
                           Rename
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))
                        (Choose
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest))))
                           (Choose
                              (ModifiedLayout
                                 Rename
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (CombineTwo
                                          (Square ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink)
                                             Simplest)))))
                              (ModifiedLayout
                                 Rename
                                 (CombineTwo
                                    (DragPane ())
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest))
                                    (CombineTwo
                                       (Square ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink)
                                          Simplest)))))))))))))
   KeySym
 -> ModifiedLayout
      ShowWName
      (ModifiedLayout
         WorkspaceDir
         (ModifiedLayout
            BoringWindows
            (ModifiedLayout
               SmartBorder
               (ModifiedLayout
                  WindowNavigation
                  (ModifiedLayout
                     Magnifier
                     (ToggleLayouts
                        Full
                        (ModifiedLayout
                           AvoidStruts
                           (Choose
                              (ModifiedLayout
                                 Rename
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))
                              (Choose
                                 (ModifiedLayout
                                    Rename
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (CombineTwo
                                          (Square ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                                 (Choose
                                    (ModifiedLayout
                                       Rename
                                       (CombineTwo
                                          (DragPane ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (CombineTwo
                                             (DragPane ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (CombineTwo
                                                (Square ())
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)
                                                (ModifiedLayout
                                                   (Decoration TabbedDecoration CustomShrink)
                                                   Simplest)))))
                                    (ModifiedLayout
                                       Rename
                                       (CombineTwo
                                          (DragPane ())
                                          (CombineTwo
                                             (DragPane ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest))
                                          (CombineTwo
                                             (Square ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest))))))))))))))
      KeySym)
-> ModifiedLayout
     WorkspaceDir
     (ModifiedLayout
        BoringWindows
        (ModifiedLayout
           SmartBorder
           (ModifiedLayout
              WindowNavigation
              (ModifiedLayout
                 Magnifier
                 (ToggleLayouts
                    Full
                    (ModifiedLayout
                       AvoidStruts
                       (Choose
                          (ModifiedLayout
                             Rename
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink)
                                            Simplest)))))))))))))
     KeySym
-> ModifiedLayout
     ShowWName
     (ModifiedLayout
        WorkspaceDir
        (ModifiedLayout
           BoringWindows
           (ModifiedLayout
              SmartBorder
              (ModifiedLayout
                 WindowNavigation
                 (ModifiedLayout
                    Magnifier
                    (ToggleLayouts
                       Full
                       (ModifiedLayout
                          AvoidStruts
                          (Choose
                             (ModifiedLayout
                                Rename
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))))
                                (Choose
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (CombineTwo
                                               (Square ())
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)
                                               (ModifiedLayout
                                                  (Decoration TabbedDecoration CustomShrink)
                                                  Simplest)))))
                                   (ModifiedLayout
                                      Rename
                                      (CombineTwo
                                         (DragPane ())
                                         (CombineTwo
                                            (DragPane ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest))
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest))))))))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$ String
-> ModifiedLayout
     BoringWindows
     (ModifiedLayout
        SmartBorder
        (ModifiedLayout
           WindowNavigation
           (ModifiedLayout
              Magnifier
              (ToggleLayouts
                 Full
                 (ModifiedLayout
                    AvoidStruts
                    (Choose
                       (ModifiedLayout
                          Rename
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)))))
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink)
                                         Simplest))))))))))))
     KeySym
-> ModifiedLayout
     WorkspaceDir
     (ModifiedLayout
        BoringWindows
        (ModifiedLayout
           SmartBorder
           (ModifiedLayout
              WindowNavigation
              (ModifiedLayout
                 Magnifier
                 (ToggleLayouts
                    Full
                    (ModifiedLayout
                       AvoidStruts
                       (Choose
                          (ModifiedLayout
                             Rename
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink)
                                            Simplest)))))))))))))
     KeySym
forall (l :: * -> *) a.
LayoutClass l a =>
String -> l a -> ModifiedLayout WorkspaceDir l a
workspaceDir String
"~" (ModifiedLayout
   BoringWindows
   (ModifiedLayout
      SmartBorder
      (ModifiedLayout
         WindowNavigation
         (ModifiedLayout
            Magnifier
            (ToggleLayouts
               Full
               (ModifiedLayout
                  AvoidStruts
                  (Choose
                     (ModifiedLayout
                        Rename
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))
                     (Choose
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))))
                        (Choose
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (CombineTwo
                                       (Square ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)))))
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest))
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink)
                                       Simplest))))))))))))
   KeySym
 -> ModifiedLayout
      WorkspaceDir
      (ModifiedLayout
         BoringWindows
         (ModifiedLayout
            SmartBorder
            (ModifiedLayout
               WindowNavigation
               (ModifiedLayout
                  Magnifier
                  (ToggleLayouts
                     Full
                     (ModifiedLayout
                        AvoidStruts
                        (Choose
                           (ModifiedLayout
                              Rename
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))
                           (Choose
                              (ModifiedLayout
                                 Rename
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (CombineTwo
                                       (Square ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest))))
                              (Choose
                                 (ModifiedLayout
                                    Rename
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (CombineTwo
                                          (DragPane ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (CombineTwo
                                             (Square ())
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink) Simplest)
                                             (ModifiedLayout
                                                (Decoration TabbedDecoration CustomShrink)
                                                Simplest)))))
                                 (ModifiedLayout
                                    Rename
                                    (CombineTwo
                                       (DragPane ())
                                       (CombineTwo
                                          (DragPane ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest))
                                       (CombineTwo
                                          (Square ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink)
                                             Simplest)))))))))))))
      KeySym)
-> ModifiedLayout
     BoringWindows
     (ModifiedLayout
        SmartBorder
        (ModifiedLayout
           WindowNavigation
           (ModifiedLayout
              Magnifier
              (ToggleLayouts
                 Full
                 (ModifiedLayout
                    AvoidStruts
                    (Choose
                       (ModifiedLayout
                          Rename
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)))))
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink)
                                         Simplest))))))))))))
     KeySym
-> ModifiedLayout
     WorkspaceDir
     (ModifiedLayout
        BoringWindows
        (ModifiedLayout
           SmartBorder
           (ModifiedLayout
              WindowNavigation
              (ModifiedLayout
                 Magnifier
                 (ToggleLayouts
                    Full
                    (ModifiedLayout
                       AvoidStruts
                       (Choose
                          (ModifiedLayout
                             Rename
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))))
                             (Choose
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (CombineTwo
                                            (Square ())
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink) Simplest)
                                            (ModifiedLayout
                                               (Decoration TabbedDecoration CustomShrink)
                                               Simplest)))))
                                (ModifiedLayout
                                   Rename
                                   (CombineTwo
                                      (DragPane ())
                                      (CombineTwo
                                         (DragPane ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest))
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink)
                                            Simplest)))))))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$
                        ModifiedLayout
  SmartBorder
  (ModifiedLayout
     WindowNavigation
     (ModifiedLayout
        Magnifier
        (ToggleLayouts
           Full
           (ModifiedLayout
              AvoidStruts
              (Choose
                 (ModifiedLayout
                    Rename
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)))))))))))
  KeySym
-> ModifiedLayout
     BoringWindows
     (ModifiedLayout
        SmartBorder
        (ModifiedLayout
           WindowNavigation
           (ModifiedLayout
              Magnifier
              (ToggleLayouts
                 Full
                 (ModifiedLayout
                    AvoidStruts
                    (Choose
                       (ModifiedLayout
                          Rename
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)))))
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink)
                                         Simplest))))))))))))
     KeySym
forall (l :: * -> *) a.
(LayoutClass l a, Eq a) =>
l a -> ModifiedLayout BoringWindows l a
boringWindows (ModifiedLayout
   SmartBorder
   (ModifiedLayout
      WindowNavigation
      (ModifiedLayout
         Magnifier
         (ToggleLayouts
            Full
            (ModifiedLayout
               AvoidStruts
               (Choose
                  (ModifiedLayout
                     Rename
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest))
                  (Choose
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))))
                     (Choose
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)))))
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)))))))))))
   KeySym
 -> ModifiedLayout
      BoringWindows
      (ModifiedLayout
         SmartBorder
         (ModifiedLayout
            WindowNavigation
            (ModifiedLayout
               Magnifier
               (ToggleLayouts
                  Full
                  (ModifiedLayout
                     AvoidStruts
                     (Choose
                        (ModifiedLayout
                           Rename
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))
                        (Choose
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest))))
                           (Choose
                              (ModifiedLayout
                                 Rename
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (CombineTwo
                                          (Square ())
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink) Simplest)
                                          (ModifiedLayout
                                             (Decoration TabbedDecoration CustomShrink)
                                             Simplest)))))
                              (ModifiedLayout
                                 Rename
                                 (CombineTwo
                                    (DragPane ())
                                    (CombineTwo
                                       (DragPane ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest))
                                    (CombineTwo
                                       (Square ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink)
                                          Simplest))))))))))))
      KeySym)
-> ModifiedLayout
     SmartBorder
     (ModifiedLayout
        WindowNavigation
        (ModifiedLayout
           Magnifier
           (ToggleLayouts
              Full
              (ModifiedLayout
                 AvoidStruts
                 (Choose
                    (ModifiedLayout
                       Rename
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)))))
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))))))))
     KeySym
-> ModifiedLayout
     BoringWindows
     (ModifiedLayout
        SmartBorder
        (ModifiedLayout
           WindowNavigation
           (ModifiedLayout
              Magnifier
              (ToggleLayouts
                 Full
                 (ModifiedLayout
                    AvoidStruts
                    (Choose
                       (ModifiedLayout
                          Rename
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))))
                          (Choose
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (CombineTwo
                                         (Square ())
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)
                                         (ModifiedLayout
                                            (Decoration TabbedDecoration CustomShrink) Simplest)))))
                             (ModifiedLayout
                                Rename
                                (CombineTwo
                                   (DragPane ())
                                   (CombineTwo
                                      (DragPane ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest))
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink)
                                         Simplest))))))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$ ModifiedLayout
  WindowNavigation
  (ModifiedLayout
     Magnifier
     (ToggleLayouts
        Full
        (ModifiedLayout
           AvoidStruts
           (Choose
              (ModifiedLayout
                 Rename
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)))))
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
  KeySym
-> ModifiedLayout
     SmartBorder
     (ModifiedLayout
        WindowNavigation
        (ModifiedLayout
           Magnifier
           (ToggleLayouts
              Full
              (ModifiedLayout
                 AvoidStruts
                 (Choose
                    (ModifiedLayout
                       Rename
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)))))
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))))))))
     KeySym
forall (l :: * -> *) a.
LayoutClass l a =>
l a -> ModifiedLayout SmartBorder l a
smartBorders (ModifiedLayout
   WindowNavigation
   (ModifiedLayout
      Magnifier
      (ToggleLayouts
         Full
         (ModifiedLayout
            AvoidStruts
            (Choose
               (ModifiedLayout
                  Rename
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest))
               (Choose
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))))
                  (Choose
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
   KeySym
 -> ModifiedLayout
      SmartBorder
      (ModifiedLayout
         WindowNavigation
         (ModifiedLayout
            Magnifier
            (ToggleLayouts
               Full
               (ModifiedLayout
                  AvoidStruts
                  (Choose
                     (ModifiedLayout
                        Rename
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))
                     (Choose
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))))
                        (Choose
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (CombineTwo
                                       (Square ())
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)
                                       (ModifiedLayout
                                          (Decoration TabbedDecoration CustomShrink) Simplest)))))
                           (ModifiedLayout
                              Rename
                              (CombineTwo
                                 (DragPane ())
                                 (CombineTwo
                                    (DragPane ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest))
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink)
                                       Simplest)))))))))))
      KeySym)
-> ModifiedLayout
     WindowNavigation
     (ModifiedLayout
        Magnifier
        (ToggleLayouts
           Full
           (ModifiedLayout
              AvoidStruts
              (Choose
                 (ModifiedLayout
                    Rename
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
     KeySym
-> ModifiedLayout
     SmartBorder
     (ModifiedLayout
        WindowNavigation
        (ModifiedLayout
           Magnifier
           (ToggleLayouts
              Full
              (ModifiedLayout
                 AvoidStruts
                 (Choose
                    (ModifiedLayout
                       Rename
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))
                       (Choose
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (CombineTwo
                                      (Square ())
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)
                                      (ModifiedLayout
                                         (Decoration TabbedDecoration CustomShrink) Simplest)))))
                          (ModifiedLayout
                             Rename
                             (CombineTwo
                                (DragPane ())
                                (CombineTwo
                                   (DragPane ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest))
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$ ModifiedLayout
  Magnifier
  (ToggleLayouts
     Full
     (ModifiedLayout
        AvoidStruts
        (Choose
           (ModifiedLayout
              Rename
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
  KeySym
-> ModifiedLayout
     WindowNavigation
     (ModifiedLayout
        Magnifier
        (ToggleLayouts
           Full
           (ModifiedLayout
              AvoidStruts
              (Choose
                 (ModifiedLayout
                    Rename
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
     KeySym
forall (l :: * -> *) a.
LayoutClass l a =>
l a -> ModifiedLayout WindowNavigation l a
windowNavigation (ModifiedLayout
   Magnifier
   (ToggleLayouts
      Full
      (ModifiedLayout
         AvoidStruts
         (Choose
            (ModifiedLayout
               Rename
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest))
            (Choose
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (CombineTwo
                        (Square ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))))
               (Choose
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)))))
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
   KeySym
 -> ModifiedLayout
      WindowNavigation
      (ModifiedLayout
         Magnifier
         (ToggleLayouts
            Full
            (ModifiedLayout
               AvoidStruts
               (Choose
                  (ModifiedLayout
                     Rename
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest))
                  (Choose
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))))
                     (Choose
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (CombineTwo
                                    (Square ())
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)
                                    (ModifiedLayout
                                       (Decoration TabbedDecoration CustomShrink) Simplest)))))
                        (ModifiedLayout
                           Rename
                           (CombineTwo
                              (DragPane ())
                              (CombineTwo
                                 (DragPane ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
      KeySym)
-> ModifiedLayout
     Magnifier
     (ToggleLayouts
        Full
        (ModifiedLayout
           AvoidStruts
           (Choose
              (ModifiedLayout
                 Rename
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)))))
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
     KeySym
-> ModifiedLayout
     WindowNavigation
     (ModifiedLayout
        Magnifier
        (ToggleLayouts
           Full
           (ModifiedLayout
              AvoidStruts
              (Choose
                 (ModifiedLayout
                    Rename
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))))
                    (Choose
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (CombineTwo
                                   (Square ())
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)
                                   (ModifiedLayout
                                      (Decoration TabbedDecoration CustomShrink) Simplest)))))
                       (ModifiedLayout
                          Rename
                          (CombineTwo
                             (DragPane ())
                             (CombineTwo
                                (DragPane ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest))))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$
                        ToggleLayouts
  Full
  (ModifiedLayout
     AvoidStruts
     (Choose
        (ModifiedLayout
           Rename
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))))))))
  KeySym
-> ModifiedLayout
     Magnifier
     (ToggleLayouts
        Full
        (ModifiedLayout
           AvoidStruts
           (Choose
              (ModifiedLayout
                 Rename
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)))))
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
     KeySym
forall (l :: * -> *) a. l a -> ModifiedLayout Magnifier l a
maximizeVertical (ToggleLayouts
   Full
   (ModifiedLayout
      AvoidStruts
      (Choose
         (ModifiedLayout
            Rename
            (ModifiedLayout
               (Decoration TabbedDecoration CustomShrink) Simplest))
         (Choose
            (ModifiedLayout
               Rename
               (CombineTwo
                  (DragPane ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (CombineTwo
                     (Square ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest))))
            (Choose
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)))))
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))
                     (CombineTwo
                        (Square ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))))))))
   KeySym
 -> ModifiedLayout
      Magnifier
      (ToggleLayouts
         Full
         (ModifiedLayout
            AvoidStruts
            (Choose
               (ModifiedLayout
                  Rename
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest))
               (Choose
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))))
                  (Choose
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (CombineTwo
                                 (Square ())
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)
                                 (ModifiedLayout
                                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
                     (ModifiedLayout
                        Rename
                        (CombineTwo
                           (DragPane ())
                           (CombineTwo
                              (DragPane ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest))
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
      KeySym)
-> ToggleLayouts
     Full
     (ModifiedLayout
        AvoidStruts
        (Choose
           (ModifiedLayout
              Rename
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))))))
     KeySym
-> ModifiedLayout
     Magnifier
     (ToggleLayouts
        Full
        (ModifiedLayout
           AvoidStruts
           (Choose
              (ModifiedLayout
                 Rename
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))
                 (Choose
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (CombineTwo
                                (Square ())
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)
                                (ModifiedLayout
                                   (Decoration TabbedDecoration CustomShrink) Simplest)))))
                    (ModifiedLayout
                       Rename
                       (CombineTwo
                          (DragPane ())
                          (CombineTwo
                             (DragPane ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest))
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$ Full KeySym
-> ModifiedLayout
     AvoidStruts
     (Choose
        (ModifiedLayout
           Rename
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))))
     KeySym
-> ToggleLayouts
     Full
     (ModifiedLayout
        AvoidStruts
        (Choose
           (ModifiedLayout
              Rename
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))))))
     KeySym
forall (lt :: * -> *) a (lf :: * -> *).
(LayoutClass lt a, LayoutClass lf a) =>
lt a -> lf a -> ToggleLayouts lt lf a
toggleLayouts Full KeySym
forall a. Full a
Full (ModifiedLayout
   AvoidStruts
   (Choose
      (ModifiedLayout
         Rename
         (ModifiedLayout
            (Decoration TabbedDecoration CustomShrink) Simplest))
      (Choose
         (ModifiedLayout
            Rename
            (CombineTwo
               (DragPane ())
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest)
               (CombineTwo
                  (Square ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest))))
         (Choose
            (ModifiedLayout
               Rename
               (CombineTwo
                  (DragPane ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (CombineTwo
                        (Square ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)))))
            (ModifiedLayout
               Rename
               (CombineTwo
                  (DragPane ())
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest))
                  (CombineTwo
                     (Square ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)))))))
   KeySym
 -> ToggleLayouts
      Full
      (ModifiedLayout
         AvoidStruts
         (Choose
            (ModifiedLayout
               Rename
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest))
            (Choose
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (CombineTwo
                        (Square ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))))
               (Choose
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (CombineTwo
                              (Square ())
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)
                              (ModifiedLayout
                                 (Decoration TabbedDecoration CustomShrink) Simplest)))))
                  (ModifiedLayout
                     Rename
                     (CombineTwo
                        (DragPane ())
                        (CombineTwo
                           (DragPane ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest))))))))
      KeySym)
-> ModifiedLayout
     AvoidStruts
     (Choose
        (ModifiedLayout
           Rename
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))))
     KeySym
-> ToggleLayouts
     Full
     (ModifiedLayout
        AvoidStruts
        (Choose
           (ModifiedLayout
              Rename
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))))
              (Choose
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (CombineTwo
                             (Square ())
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)
                             (ModifiedLayout
                                (Decoration TabbedDecoration CustomShrink) Simplest)))))
                 (ModifiedLayout
                    Rename
                    (CombineTwo
                       (DragPane ())
                       (CombineTwo
                          (DragPane ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest))))))))
     KeySym
forall a b. (a -> b) -> a -> b
$ Choose
  (ModifiedLayout
     Rename
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest))
  (Choose
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     (Choose
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)))))
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))))))
  KeySym
-> ModifiedLayout
     AvoidStruts
     (Choose
        (ModifiedLayout
           Rename
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))))
     KeySym
forall (l :: * -> *) a.
LayoutClass l a =>
l a -> ModifiedLayout AvoidStruts l a
avoidStruts (Choose
   (ModifiedLayout
      Rename
      (ModifiedLayout
         (Decoration TabbedDecoration CustomShrink) Simplest))
   (Choose
      (ModifiedLayout
         Rename
         (CombineTwo
            (DragPane ())
            (ModifiedLayout
               (Decoration TabbedDecoration CustomShrink) Simplest)
            (CombineTwo
               (Square ())
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest)
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest))))
      (Choose
         (ModifiedLayout
            Rename
            (CombineTwo
               (DragPane ())
               (ModifiedLayout
                  (Decoration TabbedDecoration CustomShrink) Simplest)
               (CombineTwo
                  (DragPane ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (CombineTwo
                     (Square ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)))))
         (ModifiedLayout
            Rename
            (CombineTwo
               (DragPane ())
               (CombineTwo
                  (DragPane ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest))
               (CombineTwo
                  (Square ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest))))))
   KeySym
 -> ModifiedLayout
      AvoidStruts
      (Choose
         (ModifiedLayout
            Rename
            (ModifiedLayout
               (Decoration TabbedDecoration CustomShrink) Simplest))
         (Choose
            (ModifiedLayout
               Rename
               (CombineTwo
                  (DragPane ())
                  (ModifiedLayout
                     (Decoration TabbedDecoration CustomShrink) Simplest)
                  (CombineTwo
                     (Square ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest))))
            (Choose
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (ModifiedLayout
                        (Decoration TabbedDecoration CustomShrink) Simplest)
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (CombineTwo
                           (Square ())
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)
                           (ModifiedLayout
                              (Decoration TabbedDecoration CustomShrink) Simplest)))))
               (ModifiedLayout
                  Rename
                  (CombineTwo
                     (DragPane ())
                     (CombineTwo
                        (DragPane ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest))
                     (CombineTwo
                        (Square ())
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)
                        (ModifiedLayout
                           (Decoration TabbedDecoration CustomShrink) Simplest)))))))
      KeySym)
-> Choose
     (ModifiedLayout
        Rename
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     (Choose
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))))
     KeySym
-> ModifiedLayout
     AvoidStruts
     (Choose
        (ModifiedLayout
           Rename
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))
           (Choose
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (CombineTwo
                          (Square ())
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)
                          (ModifiedLayout
                             (Decoration TabbedDecoration CustomShrink) Simplest)))))
              (ModifiedLayout
                 Rename
                 (CombineTwo
                    (DragPane ())
                    (CombineTwo
                       (DragPane ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest))
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))))
     KeySym
forall a b. (a -> b) -> a -> b
$
                        String
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> ModifiedLayout
     Rename
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
forall (l :: * -> *) a. String -> l a -> ModifiedLayout Rename l a
named String
"tabbed" ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  Rename
  (ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest)
  KeySym
-> Choose
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     (Choose
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)))))
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
     KeySym
-> Choose
     (ModifiedLayout
        Rename
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     (Choose
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))))
        (Choose
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (CombineTwo
                       (Square ())
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)
                       (ModifiedLayout
                          (Decoration TabbedDecoration CustomShrink) Simplest)))))
           (ModifiedLayout
              Rename
              (CombineTwo
                 (DragPane ())
                 (CombineTwo
                    (DragPane ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest))))))
     KeySym
forall (l :: * -> *) a (r :: * -> *). l a -> r a -> Choose l r a
|||
                        String
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
-> ModifiedLayout
     Rename
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)))
     KeySym
forall (l :: * -> *) a. String -> l a -> ModifiedLayout Rename l a
named String
"xclock" (ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
forall a (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass l1 a, LayoutClass l2 a) =>
l1 a -> l2 a -> CombineTwo (DragPane ()) l1 l2 a
****//* Square ()
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
forall a (super :: * -> *) (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass super (), LayoutClass l1 a,
 LayoutClass l2 a) =>
super () -> l1 a -> l2 a -> CombineTwo (super ()) l1 l2 a
combineTwo Square ()
forall a. Square a
Square ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab) ModifiedLayout
  Rename
  (CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)))
  KeySym
-> Choose
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     KeySym
-> Choose
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     (Choose
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (CombineTwo
                    (Square ())
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)
                    (ModifiedLayout
                       (Decoration TabbedDecoration CustomShrink) Simplest)))))
        (ModifiedLayout
           Rename
           (CombineTwo
              (DragPane ())
              (CombineTwo
                 (DragPane ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest))
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
     KeySym
forall (l :: * -> *) a (r :: * -> *). l a -> r a -> Choose l r a
|||
                        String
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)))
     KeySym
-> ModifiedLayout
     Rename
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     KeySym
forall (l :: * -> *) a. String -> l a -> ModifiedLayout Rename l a
named String
"three" (ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)))
     KeySym
forall a (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass l1 a, LayoutClass l2 a) =>
l1 a -> l2 a -> CombineTwo (DragPane ()) l1 l2 a
**//* ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
forall a (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass l1 a, LayoutClass l2 a) =>
l1 a -> l2 a -> CombineTwo (DragPane ()) l1 l2 a
*//* Square ()
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
forall a (super :: * -> *) (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass super (), LayoutClass l1 a,
 LayoutClass l2 a) =>
super () -> l1 a -> l2 a -> CombineTwo (super ()) l1 l2 a
combineTwo Square ()
forall a. Square a
Square ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab) ModifiedLayout
  Rename
  (CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))))
  KeySym
-> ModifiedLayout
     Rename
     (CombineTwo
        (DragPane ())
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)))
     KeySym
-> Choose
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (CombineTwo
                 (Square ())
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)
                 (ModifiedLayout
                    (Decoration TabbedDecoration CustomShrink) Simplest)))))
     (ModifiedLayout
        Rename
        (CombineTwo
           (DragPane ())
           (CombineTwo
              (DragPane ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))
           (CombineTwo
              (Square ())
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest)
              (ModifiedLayout
                 (Decoration TabbedDecoration CustomShrink) Simplest))))
     KeySym
forall (l :: * -> *) a (r :: * -> *). l a -> r a -> Choose l r a
|||
                        String
-> CombineTwo
     (DragPane ())
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
-> ModifiedLayout
     Rename
     (CombineTwo
        (DragPane ())
        (CombineTwo
           (DragPane ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest))
        (CombineTwo
           (Square ())
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)
           (ModifiedLayout
              (Decoration TabbedDecoration CustomShrink) Simplest)))
     KeySym
forall (l :: * -> *) a. String -> l a -> ModifiedLayout Rename l a
named String
"widescreen" ((ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (DragPane ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
forall a (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass l1 a, LayoutClass l2 a) =>
l1 a -> l2 a -> CombineTwo (DragPane ()) l1 l2 a
*||* ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab)
                                                CombineTwo
  (DragPane ())
  (ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest)
  (ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest)
  KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
-> CombineTwo
     (DragPane ())
     (CombineTwo
        (DragPane ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     (CombineTwo
        (Square ())
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest)
        (ModifiedLayout
           (Decoration TabbedDecoration CustomShrink) Simplest))
     KeySym
forall a (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass l1 a, LayoutClass l2 a) =>
l1 a -> l2 a -> CombineTwo (DragPane ()) l1 l2 a
****//* Square ()
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
-> CombineTwo
     (Square ())
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     (ModifiedLayout
        (Decoration TabbedDecoration CustomShrink) Simplest)
     KeySym
forall a (super :: * -> *) (l1 :: * -> *) (l2 :: * -> *).
(Read a, Eq a, LayoutClass super (), LayoutClass l1 a,
 LayoutClass l2 a) =>
super () -> l1 a -> l2 a -> CombineTwo (super ()) l1 l2 a
combineTwo Square ()
forall a. Square a
Square ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab) --   |||
                        --mosaic 0.25 0.5
         , terminal :: String
terminal = String
"xterm" -- The preferred terminal program.
         , normalBorderColor :: String
normalBorderColor = String
"#222222" -- Border color for unfocused windows.
         , focusedBorderColor :: String
focusedBorderColor = String
"#00ff00" -- Border color for focused windows.
         , modMask :: KeyMask
XMonad.modMask = KeyMask
mod1Mask
         , keys :: XConfig Layout -> Map (KeyMask, KeySym) (X ())
XMonad.keys = XConfig Layout -> Map (KeyMask, KeySym) (X ())
keys
         }

mytab :: ModifiedLayout
  (Decoration TabbedDecoration CustomShrink) Simplest KeySym
mytab = CustomShrink
-> Theme
-> ModifiedLayout
     (Decoration TabbedDecoration CustomShrink) Simplest KeySym
forall a s.
(Eq a, Shrinker s) =>
s
-> Theme
-> ModifiedLayout (Decoration TabbedDecoration s) Simplest a
tabbed CustomShrink
CustomShrink Theme
forall a. Default a => a
def

instance Shrinker CustomShrink where
    shrinkIt :: CustomShrink -> String -> [String]
shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromHead String
" " String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromTail String
" " String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromTail String
"- Iceweasel" String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromTail String
"- KPDF" String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromHead String
"file://" String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
shr String
s | Just String
s' <- String -> String -> Maybe String
dropFromHead String
"http://" String
s = CustomShrink -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt CustomShrink
shr String
s'
    shrinkIt CustomShrink
_ String
s | Int
n Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
> Int
9 = String
s String -> [String] -> [String]
forall a. a -> [a] -> [a]
: (Int -> String) -> [Int] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map Int -> String
cut [Int
2..(Int
halfnInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
3)] [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ DefaultShrinker -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt DefaultShrinker
shrinkText String
s
                 where n :: Int
n = String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
s
                       halfn :: Int
halfn = Int
n Int -> Int -> Int
forall a. Integral a => a -> a -> a
`div` Int
2
                       rs :: String
rs = String -> String
forall a. [a] -> [a]
reverse String
s
                       cut :: Int -> String
cut Int
x = Int -> String -> String
forall a. Int -> [a] -> [a]
take (Int
halfn Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
x) String
s String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"..." String -> String -> String
forall a. [a] -> [a] -> [a]
++ String -> String
forall a. [a] -> [a]
reverse (Int -> String -> String
forall a. Int -> [a] -> [a]
take (Int
halfnInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
x) String
rs)
    shrinkIt CustomShrink
_ String
s = DefaultShrinker -> String -> [String]
forall s. Shrinker s => s -> String -> [String]
shrinkIt DefaultShrinker
shrinkText String
s

dropFromTail :: String -> String -> Maybe String
dropFromTail :: String -> String -> Maybe String
dropFromTail String
"" String
_ = Maybe String
forall a. Maybe a
Nothing
dropFromTail String
t String
s | Int -> String -> String
forall a. Int -> [a] -> [a]
drop (String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
s Int -> Int -> Int
forall a. Num a => a -> a -> a
- String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
t) String
s String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
t = String -> Maybe String
forall a. a -> Maybe a
Just (String -> Maybe String) -> String -> Maybe String
forall a b. (a -> b) -> a -> b
$ Int -> String -> String
forall a. Int -> [a] -> [a]
take (String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
s Int -> Int -> Int
forall a. Num a => a -> a -> a
- String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
t) String
s
                 | Bool
otherwise = Maybe String
forall a. Maybe a
Nothing

dropFromHead :: String -> String -> Maybe String
dropFromHead :: String -> String -> Maybe String
dropFromHead String
"" String
_ = Maybe String
forall a. Maybe a
Nothing
dropFromHead String
h String
s | Int -> String -> String
forall a. Int -> [a] -> [a]
take (String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
h) String
s String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
h = String -> Maybe String
forall a. a -> Maybe a
Just (String -> Maybe String) -> String -> Maybe String
forall a b. (a -> b) -> a -> b
$ Int -> String -> String
forall a. Int -> [a] -> [a]
drop (String -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length String
h) String
s
                 | Bool
otherwise = Maybe String
forall a. Maybe a
Nothing

{-
data FocusUrgencyHook = FocusUrgencyHook deriving (Read, Show)

instance UrgencyHook FocusUrgencyHook Window where
    urgencyHook _ w = modify copyAndFocus
        where copyAndFocus s
                  | Just w == W.peek (windowset s) = s
                  | has w $ W.stack $ W.workspace $ W.current $ windowset s =
                      s { windowset = until ((Just w ==) . W.peek)
                                      W.focusUp $ windowset s }
                  | otherwise =
                      let t = W.currentTag $ windowset s
                      in s { windowset = until ((Just w ==) . W.peek)
                             W.focusUp $ copyWindow w t $ windowset s }
              has _ Nothing         = False
              has x (Just (W.Stack t l rr)) = x `elem` (t : l ++ rr)

-}