[Haskell] threading mutable state through callbacks

[MR K P SCHUPKE]

>All we really need is a 'unique value monad' to give us unique values

This sounds a lot like Clean's unique-types?

Keean.