An Dijkstra-to-LLVM-bitcode compiler written in Haskell