Embedded Circom DSL

An embedded Circom DSL for Haskell with functions, IO, and arbitrary data structures.