Added StateMonad demo