On Sat, Feb 03, 2007 at 10:13:17AM +0100, [EMAIL PROTECTED] wrote: > Chad Scherrer wrote: > > So in reality, I'm trying to construct something like > > f :: (a -> STM b) -> STM (a -> b) > > Indeed, such an f most likely does not exist.
Yes, consider:
f readTVar :: STM (TVar c -> c)
That would be pretty dangerous.
Best regards
Tomasz
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
