If you need the type of the state to change during...
# arrow
s
If you need the type of the state to change during your program you need a more powerful
State
monad which is not in yet.