subset of my xmonad config - trying to perform a greedyView with shift

xmonad.hs

--viewShift :: WorkspaceId -> Query (Endo (W.StackSet WorkspaceId l Window ScreenId sd))
--viewShift = doF . liftM2 (.) W.greedyView W.shift

keybinds :: XConfig Layout -> [((KeyMask, KeySym), NamedActions.NamedAction)]
keybinds conf = let
  subKeys str ks = NamedActions.subtitle str : mkNamedKeymap conf ks
  wsKeys  = map show ([1..9] ++ [0] :: [Int])
  zipM  m nm ks as f = zipWith (\k d -> (m ++ k, NamedActions.addName nm $ f d)) ks as
  zipM' m nm ks as f b = zipWith(\k d -> (m ++ k, NamedActions.addName nm $ f d b)) ks as
  in
    subKeys "Workspaces"
    ([]
    ++ zipM "M-" "View workspace" wsKeys [0..] (withNthWorkspace W.greedyView)
    ++ zipM "M-S-" "Move window to workspace" wsKeys [0..]  (withNthWorkspace W.shift)
    ++ zipM "M-S-C-" "Copy window to workkspace" wsKeys [0..] (withNthWorkspace copy)
    )

I am trying to perform a greedyView and shift in the code below (see the above for more context). I have searched github.com for examples of this same logic, however I am not finding a solution.

zipM "M-S-" "Move window to workspace" wsKeys [0..] (withNthWorkspace W.shift)

I thought I could combine them into one as follows, however this is not the answer.

zipM "M-S-" "Move window to workspace" wsKeys [0..] (withNthWorkspace W.greedyView . W.shift)

• Couldn't match type ‘W.StackSet String l0 a0 s0 sd0 -> W.StackSet String l0 a0 s0 sd0’ with ‘[Char]’ Expected type: String -> WindowSet -> WindowSet Actual type: String

Solutions 1:
++ zipM "M-S-" "Move window to workspace" wsKeys [0..] (withNthWorkspace (\i -> W.greedyView i . W.shift i))

Solution 2:
++ zipM "M-S-" "Move window to workspace" wsKeys [0..] (withNthWorkspace (liftM2 (.) W.greedyView W.shift))