Clash gives you all the power of Haskell and tools you'd usually use with Haskell, like hackage packages, REPL and you can run it as regular Haskell code too. So it has a really powerful typesystem, incredible abstractions and compiles to SystemVerilog/Verilog/VHDL, you can include external HDL too!