I'm simulating skolem variables in order to fake universal
quantification in constraints via unsafeCoerce.
http://hpaste.org/67121
I'm not familiar with various categories of types from the run-time's
perspective, but I'd be surprised if there were NOT a way to use this
code to create run-time
The intention is that the I/O manager should start with the RTS. It's
started in hs_init_ghc if you're running the threaded RTS. I don't
know enough about using ghc as a library to know if it needs to be
started in some other context as well.
-- Johan
