but I'm not sure It is the best I can get

# functional

[thanh]

but I'm not sure It is the best I can get

[simon.vergauwen]

I build IndexedStateT a year ago, and 2 years ago 😄 but at both those times it was impossible due to bugs in the compiler. These bugs should be fixed tho.

And the branch still lives here. https://github.com/arrow-kt/arrow/tree/simon-indexedstatet

[simon.vergauwen]

Not sure how many conflicts would be there but that could can be copy-pasted into the current Arrow.

[simon.vergauwen]

https://typelevel.org/cats/datatypes/state.html#changing-states

[simon.vergauwen]

That’s the best way to make a compile time checked state machine that I know off.

[thanh]

Nice, I'll check them later