A haskell DSL for generating assembly code.