Не понимаю как вычисляются shared thunk'и, например:
do let a = [1..10 :: Int]
   forkIO $ print $ rnf a 
   print  $ rnf a 
Что нужно читать?