One more thing: Under Proposal III, what does the following code do: foreign export ccall foo :: IO () foo = forkIO bar bar = putStrLn "HelloWorld" >> bar Cheers, Wolfgang