Add stack example for State Monad