[carterschonwald]

... Stm in ghc is definitely mutable. Before commit it has an oplog representation but it's most assuredly doing very imperative things like find grained locking and writes to the same reference :)

[jbooth]

Ah, well that's super cool. Doesn't completely counteract what I was saying but that's interesting, thanks for the tid bit.