There are several papers on why GHC uses a typed intermediate representation-- System Fc-- safety being the main reason.

http://research.microsoft.com/en-us/um/people/simonpj/papers...

An untyped representation is "just code", and that way lies madness. Bugs at least.