mutable records

[Scott J.]

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