Example of Multiple Type Stack on ST Monad

Separate current value and stack.
Add pop operation.