Typesafe MRef with a regular monad

[Ashley Yakeley]

In article <v4j7k7qsp5c.fsf@newtonlabs.com>,
 cwitty@newtonlabs.com (Carl R. Witty) wrote:

> Here's a hand-waving argument that you need either Typeable (or
> something else that has a run-time concrete representation of types)
> or ST/STRef (or something else, probably monadic, that can track
> unique objects) to do this.

George Russell already showed this, didn't he? You can implement 
Typeable given type-safe MRefs, and you can implement type-safe MRefs 
given Typeable.

-- 
Ashley Yakeley, Seattle WA