[mhitza]

State management, for me, is hard in Haskell because monads are a pain to compose, and transformer stacks types give me a headache (anything that's wrapping over (->) tends to confuse me anyway when composed).

I've been reading about effectful systems that would remove the pain points around transformers all the way back to 2016, or earlier. Yet there still doesn't seem to be any to overtake the library ecosystem.

Of course this is where the "write your own custom monad"/free monad interpreter might come into play in practice.