Add ST monad example.