> > 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe