[Haskell] ST vs State