
-- divByZeroCircuit'
--   :: Circuit
--        '[Var]
--        '[Int]
--        '[Var Int]
--        '[Var]
--        '[Int]
--        '[Var Int]
--        N1
-- divByZeroCircuit' = task
--   (\_ _ _ -> do