Thanks for your reply, I will try to understand your code carefully, which may take some time. I have a raw haskell prototype of polystate here, maybe it will

Thanks for your reply, I will try to understand your code carefully, which may take some time. I have a raw haskell prototype of polystate here, maybe it will help you. https://github.com/sdzx-1/typed-gui/blob/main/examples/todoList/README.md https://github.com/sdzx-1/typed-gui/blob/main/examples/todoL...