A Haskell to Verilog compiler.