Example of Multiple Type Stack on ST Monad

Created newly.