Подсказки для более изящного кода с монадами?

Я наконец овладел о том, как использовать монады (не знайте, понимаю ли я их...), но мой код никогда не очень изящен. Я предполагаю, от отсутствия власти как все те функции на Control.Monad может действительно помочь. Таким образом, я думал, что будет хорошо попросить подсказки относительно этого в конкретной части кода с помощью монады состояния.

Цель кода состоит в том, чтобы вычислить много видов случайных блужданий, и это - что-то, что я пытаюсь сделать перед чем-то более сложным. Проблема состоит в том, что у меня есть два вычисления с сохранением информации одновременно, и я хотел бы знать, как составить их с элегантностью:

1. Функция, которая обновляет генератор случайных чисел, является чем-то вроде типа Seed -> (DeltaPosition, Seed)
2. Функция, которая обновляет положение случайного Уокера, является чем-то вроде типа DeltaPosition -> Position -> (Log, Position) (где Log просто некоторый способ для меня сообщить, что является текущей позицией случайного Уокера).

То, что я сделал, является этим:

У меня есть функция для создания этого два вычисления с сохранением информации:

composing :: (g -> (b, g)) -> (b -> s -> (v,s)) -> (s,g) -> (v, (s, g))
composing generate update (st1, gen1) = let (rnd, gen2) = generate gen1
                                            (val, st2)  = update rnd st1
                                        in (val, (st2, gen2))

и затем я превращаю его в функцию, которые составляют состояния:

stateComposed :: State g b -> (b -> State s v) -> State (s,g) v
stateComposed rndmizer updater = let generate = runState rndmizer
                                     update x = runState $ updater x
                                 in  State $ composing generate update 

И затем у меня есть самая простая вещь, например, случайный Уокер, который просто суммирует случайное число к его текущей позиции:

update :: Double -> State Double Double
update x = State (\y -> let z = x+y
                        in  (z,z))

generate :: State StdGen Double
generate = State random

rolling1 = stateComposed generate update 

и функция для делания этого неоднократно:

rollingN 1 = liftM (:[]) rolling1
rollingN n = liftM2 (:) rolling1 rollings
    where rollings = rollingN (n-1) 

И затем, если я загружаю это в ghci и выполненный:

*Main> evalState (rollingN 5) (0,mkStdGen 0)
[0.9872770354820595,0.9882724161698186,1.9620425108498993,2.0923229488759123,2.296045158010918]

Я получаю то, что я хочу, который является списком положений, занятых случайным Уокером. Но... Я чувствую, что должен быть более изящный способ сделать это. У меня есть два вопроса:

1. Я могу переписать те функции более "одноместным" способом, с помощью умных функций от Control.Monad?

2. Существует ли общий шаблон об объединении состояний как это, которое может использоваться? Это имеет некоторое отношение к преобразователям монады или чему-то как этот?