Haskell - Как мне запустить список монад состояния?

Я новичок в Haskell, и у меня возникли проблемы с монадой State.

Я создал следующие типы. Stat a для него созданы моноид, функтор, аппликатив и экземпляр монады.

«Главный» тип в моей программе — это существа, и у него много аргументов:

data Creature = Creature {
    strength  :: Stat Integer,
    dexterity :: Stat Integer,
    ...
}

data Stat a = Stat {
    modifiers :: [StatModifier],
    stat      :: a
}

data StatModifier = StatModifier {
    modifierType :: ModifierType,
    value        :: Integer
}

data ModifierType = 
  Enhancement
  | Morale
  | ...

С существом может случиться многое. Я решил представить эти вещи с помощью монады состояния:

anyPossibleChange :: State Creature Creature

Это может быть повреждение, наносимое существу, увеличение силы существа, в общем, что угодно. Возможность чего угодно заставила меня подумать, что монада State была хорошим выбором. Я принимаю существо в его исходном состоянии, выполняю некоторую модификацию и возвращаю исходное состояние и новое состояние в виде кортежа.

Исходное состояние может быть:

Creature {
    strength = Stat [] 10,
    dexterity = Stat [] 10
}

Конечное состояние может быть:

Creature {
    strength = Stat [StatModifier Enhancement 2] 10,
    dexterity = Stat [StatModifier Enhancement 4, StatModifier Morale 2] 10
}

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

Это подпись, которую я имел в виду, но у меня возникли проблемы с реализацией. Я открыт для того, чтобы быть другим.

applyChanges :: Creature -> [State Creature Creature] ->  Creature

Я чувствую, что должен быть в состоянии сделать это со сгибом, возможно, FoldM, но мой мозг зацикливается на типах.

Какой должна быть хорошая реализация?