Is this a concurrency bug in base?

[wagnerdm at seas.upenn.edu]

Quoting Jean-Marie Gaillourdet <jmg at gaillourdet.net>:

> That sounds plausible. Do you see any workaround? Perhaps repeatedly  
> evaluating typeOf?

If there's a concurrency bug, surely the workaround is to protect  
calls to the non-thread-safe function with a lock.

     typeOfWorkaround lock v = do
         () <- takeMVar lock
         x <- evaluate (typeOf v)
         putMVar lock ()
         return x

~d