ST Monad Example

Modify the example of multiple type stacks with global push/pop.