Re: [Haskell-cafe] using Typeable with STRefs

Why not:

data Value = forall a . Typeable a => V a

type STValue s = STRef Value

This should be: type STValue s = STRef s Value Antoine