Hopefully verifiable code generation in GHC - View it on GitHub