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

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/ext-f/fc-tldi.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers... An untyped representation is "just code", and that way lies madness. Bugs at least.