Example of ST monad with StateT

Added comments.