Монада State, использование modify из другой функции

State [Dec] [Dec]
mainCon = do
  acc <- get
  put []
  modify $ (++) [some func]
  return acc

foldlWithKey'
                         (\list' key' val' ->
    if (...)
          then
                (Control.Monad.State.modify $ (Prelude.++) [elem]) >>
                some code
                : list')
          else
                some code
                : list')
                             )
                             []
                             (map')

No instance for (MonadState [Dec] [])
      arising from a use of ‘Control.Monad.State.modify’
    In the expression: Control.Monad.State.modify

-- Это выражение имеет тип m (), при этом m удовлетворяет MonadState [a] m
*Main> :t Control.Monad.State.modify ((Prelude.++) [])
Control.Monad.State.modify ((Prelude.++) [])
  :: MonadState [a] m => m ()
 
-- Какой будет m Haskell пока еще не знает
 
-- Теперь добавим к нему выражение  ">> []", как делаете Вы
*Main> :t Control.Monad.State.modify ((Prelude.++) []) [B]>> [][/B]
    No instance for (MonadState [a0] []) arising from a use of ‘modify’
    In the first argument of ‘(>>)’, namely ‘modify ((++) [])’
    In the expression: modify ((++) []) >> []
 
-- Т.к. список в Haskell тоже является монадой, а также находится в одном выражении с предыдущим
-- то Haskell успешно выводит тип неизвестного m и получает MonadState [a] []
-- Далее он просто не находит инстанс MonadState [a] [] и выдает ошибку

-- Определите монадный foldlWithKey
foldlWithKeyM :: Monad m => (a -> k -> v -> m a) -> a -> Map k v -> m a
foldlWithKeyM f acc = foldlWithKey f' (return acc) 
  where
    f' ma k v = ma >>= \a -> f a k v

something1 = undefined
something2 = undefined
 
traverseMap :: Map k v -> State [a] [b]
traverseMap mp = foldlWithKeyM f [] mp
  where  f list' key' val' = Control.Monad.State.modify ((Prelude.++) [something1]) >> return [something2]