ST Monad Example

add an example of multiple type stacks with global rewinding.