mutable records

Hi, Is it possible to define oject types in Haskell and what does one propose to do it? Is it possible to define parts of a record with the help of the ST s monad mutable during the whole program? (As is possible in Ocamel)? Thx Scott