> So, we're talking about Haskell passing around void pointers and later doing cross-your-fingers typecasts on them? Following on this thought: Every compiler

> So, we're talking about Haskell passing around void pointers and later doing cross-your-fingers typecasts on them? Following on this thought: Every compiler is essentially an assembler programmer! And we all know how error prone it is to code in assembler. So how can the compiler ever produce error-free binaries?