Вот идиома, которую я использую для составления нескольких процедур (с памятью):

p1 :: State (Int, String) ()
p1 = do
    (a, b) <- get
    ... do something ...
    put (a', b)

p2 :: State (Int, String) ()
p2 = do
    (a, b) <- get
    ... do something else ...
    put (a, b')

main = do
    ... initializing a0 b0 ...
    print . flip evalState (a0, b0)
          . sequence $ replicate 10 p1 ++ repeat p2

Однако, по мере того как число переменных состояния растет, это быстро становится более многословным, чем необходимо:

p1 :: State (Int, String, Bool, Int, String, Bool) ()
p1 = do
    (a, b, c, d, e, f) <- get
    ... do something ...
    put (a, b, c', d, e, f')

p2 :: State (Int, String, Bool, Int, String, Bool) ()
p2 = do
    (a, b, c, d, e, f) <- get
    ... do something ...
    put (a', b', c, d, e, f)

main = do
    print . flip evalState (a0, b0, c0, d0, e0, f0)
          . sequence $ replicate 10 p1 ++ repeat p2

Как мне было интересно, есть ли способ обновить только несколько переменных состояния без необходимости ссылаться на все неиспользуемые переменные? Я думал что-то вродеIORef но дляState (на самом деле есть пакетstateref), но я не уверен, что уже есть какие-то распространенные идиомы, которыми пользуются другие люди.