http://www.haskell.org/ghc/docs/7.0.3/html/libraries/ghc-7.0.3/Llvm.html
Can we use this, or are we supposed to write every part from scratch?
It doesn't seem to generate any code, just provide a really nice AST.
It would be awesome to just translate our type annotated AST to this
and then write a separate code generator.
- Martin