diff --git a/chanterelle/example/spago.yaml b/chanterelle/example/spago.yaml
index 8e5a4f9..4edb771 100644
--- a/chanterelle/example/spago.yaml
+++ b/chanterelle/example/spago.yaml
@@ -1,6 +1,6 @@
 package:
   dependencies:
-    - aff: ">=7.1.0 <8.0.0"
+    - aff: ">=8.0.0 <9.0.0"
     - arrays: ">=7.3.0 <8.0.0"
     - chanterelle: "*"
     - effect: ">=4.0.0 <5.0.0"
@@ -9,7 +9,7 @@ package:
     - identity: ">=6.0.0 <7.0.0"
     - maybe: ">=6.0.0 <7.0.0"
     - newtype: ">=5.0.0 <6.0.0"
-    - parallel: ">=6.0.0 <7.0.0"
+    - parallel: ">=7.0.0 <8.0.0"
     - partial: ">=4.0.0 <5.0.0"
     - prelude: ">=6.0.1 <7.0.0"
     - profunctor-lenses: ">=8.0.0 <9.0.0"
@@ -25,7 +25,7 @@ package:
       - spec-node
 workspace:
   packageSet:
-    registry: 62.3.1
+    registry: 65.0.1
   extraPackages:
     chanterelle:
       path: ..
@@ -49,101 +49,10 @@ workspace:
         - tuples
       git: https://github.com/martyall/purescript-coroutine-transducers
       ref: v1.0.0
-    dodo-printer:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - console
-        - control
-        - effect
-        - either
-        - exceptions
-        - foldable-traversable
-        - integers
-        - lists
-        - maybe
-        - minibench
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - safe-coerce
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-dodo-printer.git
-      ref: v2.2.1
     eth-core:
       path: ../../eth-core
     solc:
       path: ../../solc
-    tidy:
-      dependencies:
-        - arrays
-        - dodo-printer
-        - foldable-traversable
-        - language-cst-parser
-        - lists
-        - maybe
-        - ordered-collections
-        - partial
-        - prelude
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-tidy.git
-      ref: v0.10.0
-    tidy-codegen:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - bifunctors
-        - console
-        - control
-        - dodo-printer
-        - effect
-        - either
-        - enums
-        - exceptions
-        - filterable
-        - foldable-traversable
-        - free
-        - identity
-        - integers
-        - language-cst-parser
-        - lazy
-        - lists
-        - maybe
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - ordered-collections
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - record
-        - safe-coerce
-        - st
-        - strings
-        - tidy
-        - transformers
-        - tuples
-        - type-equality
-        - unicode
-      git: https://github.com/natefaubion/purescript-tidy-codegen.git
-      ref: v4.0.0
     web3:
       path: ../../web3
     web3-generator:
diff --git a/chanterelle/spago.yaml b/chanterelle/spago.yaml
index e420c0f..7ed6e6d 100644
--- a/chanterelle/spago.yaml
+++ b/chanterelle/spago.yaml
@@ -1,6 +1,6 @@
 package:
   dependencies:
-    - aff: ">=7.1.0 <8.0.0"
+    - aff: ">=8.0.0 <9.0.0"
     - ansi: ">=7.0.0 <8.0.0"
     - argonaut: ">=9.0.0 <10.0.0"
     - argonaut-core: ">=7.0.0 <8.0.0"
@@ -30,7 +30,7 @@ package:
     - now: ">=6.0.0 <7.0.0"
     - optparse: ">=5.0.1 <6.0.0"
     - ordered-collections: ">=3.2.0 <4.0.0"
-    - parallel: ">=6.0.0 <7.0.0"
+    - parallel: ">=7.0.0 <8.0.0"
     - partial: ">=4.0.0 <5.0.0"
     - prelude: ">=6.0.1 <7.0.0"
     - profunctor-lenses: ">=8.0.0 <9.0.0"
diff --git a/eth-core/spago.yaml b/eth-core/spago.yaml
index 9111bdb..21a3600 100644
--- a/eth-core/spago.yaml
+++ b/eth-core/spago.yaml
@@ -26,7 +26,7 @@ package:
   test:
     main: Test.EthCore.Main
     dependencies:
-      - quickcheck: ">=7.0.0 <8.0.0"
-      - quickcheck-laws: ">=8.0.0 <9.0.0"
+      - quickcheck: ">=8.0.0 <9.0.0"
+      - quickcheck-laws: ">=7.0.0 <8.0.0"
       - spec: ">=8.0.0 <9.0.0"
       - spec-node: ">=0.0.3 <1.0.0"
diff --git a/spago.lock b/spago.lock
index 59d9c2f..b80f8f2 100644
--- a/spago.lock
+++ b/spago.lock
@@ -1,125 +1,12 @@
 {
   "workspace": {
     "packages": {
-      "build-contracts": {
-        "path": "chanterelle/example/build-contracts",
-        "core": {
-          "dependencies": [
-            "chanterelle"
-          ],
-          "build_plan": [
-            "aff",
-            "ansi",
-            "argonaut",
-            "argonaut-codecs",
-            "argonaut-core",
-            "argonaut-traversals",
-            "arraybuffer-types",
-            "arrays",
-            "avar",
-            "bifunctors",
-            "catenable-lists",
-            "chanterelle",
-            "console",
-            "const",
-            "contravariant",
-            "control",
-            "coroutine-transducers",
-            "coroutines",
-            "datetime",
-            "distributive",
-            "dodo-printer",
-            "effect",
-            "either",
-            "enums",
-            "eth-core",
-            "exceptions",
-            "exists",
-            "exitcodes",
-            "filterable",
-            "fixed-points",
-            "foldable-traversable",
-            "foreign",
-            "foreign-object",
-            "fork",
-            "free",
-            "freet",
-            "functions",
-            "functors",
-            "gen",
-            "heterogeneous",
-            "identity",
-            "integers",
-            "invariant",
-            "js-bigints",
-            "js-date",
-            "language-cst-parser",
-            "lazy",
-            "lists",
-            "maybe",
-            "minibench",
-            "newtype",
-            "node-buffer",
-            "node-child-process",
-            "node-event-emitter",
-            "node-fs",
-            "node-os",
-            "node-path",
-            "node-process",
-            "node-streams",
-            "nonempty",
-            "now",
-            "nullable",
-            "numbers",
-            "open-memoize",
-            "optparse",
-            "ordered-collections",
-            "orders",
-            "parallel",
-            "parsing",
-            "partial",
-            "posix-types",
-            "prelude",
-            "profunctor",
-            "profunctor-lenses",
-            "psci-support",
-            "record",
-            "refs",
-            "ring-modules",
-            "safe-coerce",
-            "simple-json",
-            "solc",
-            "st",
-            "string-parsers",
-            "strings",
-            "tagged",
-            "tailrec",
-            "tidy",
-            "tidy-codegen",
-            "transformers",
-            "tuples",
-            "type-equality",
-            "typelevel-prelude",
-            "unfoldable",
-            "unicode",
-            "unsafe-coerce",
-            "validation",
-            "variant",
-            "web3",
-            "web3-generator"
-          ]
-        },
-        "test": {
-          "dependencies": [],
-          "build_plan": []
-        }
-      },
       "chanterelle": {
         "path": "chanterelle",
         "core": {
           "dependencies": [
             {
-              "aff": ">=7.1.0 <8.0.0"
+              "aff": ">=8.0.0 <9.0.0"
             },
             {
               "ansi": ">=7.0.0 <8.0.0"
@@ -209,7 +96,7 @@
               "ordered-collections": ">=3.2.0 <4.0.0"
             },
             {
-              "parallel": ">=6.0.0 <7.0.0"
+              "parallel": ">=7.0.0 <8.0.0"
             },
             {
               "partial": ">=4.0.0 <5.0.0"
@@ -282,7 +169,6 @@
             "exceptions",
             "exists",
             "exitcodes",
-            "filterable",
             "fixed-points",
             "foldable-traversable",
             "foreign",
@@ -303,13 +189,10 @@
             "lazy",
             "lists",
             "maybe",
-            "minibench",
             "newtype",
             "node-buffer",
-            "node-child-process",
             "node-event-emitter",
             "node-fs",
-            "node-os",
             "node-path",
             "node-process",
             "node-streams",
@@ -360,249 +243,6 @@
           "build_plan": []
         }
       },
-      "chanterelle-example": {
-        "path": "chanterelle/example",
-        "core": {
-          "dependencies": [
-            {
-              "aff": ">=7.1.0 <8.0.0"
-            },
-            {
-              "arrays": ">=7.3.0 <8.0.0"
-            },
-            {
-              "chanterelle": "*"
-            },
-            {
-              "effect": ">=4.0.0 <5.0.0"
-            },
-            {
-              "either": ">=6.1.0 <7.0.0"
-            },
-            {
-              "eth-core": "*"
-            },
-            {
-              "identity": ">=6.0.0 <7.0.0"
-            },
-            {
-              "maybe": ">=6.0.0 <7.0.0"
-            },
-            {
-              "newtype": ">=5.0.0 <6.0.0"
-            },
-            {
-              "parallel": ">=6.0.0 <7.0.0"
-            },
-            {
-              "partial": ">=4.0.0 <5.0.0"
-            },
-            {
-              "prelude": ">=6.0.1 <7.0.0"
-            },
-            {
-              "profunctor-lenses": ">=8.0.0 <9.0.0"
-            },
-            {
-              "tagged": ">=4.0.2 <5.0.0"
-            },
-            {
-              "transformers": ">=6.1.0 <7.0.0"
-            },
-            {
-              "tuples": ">=7.0.0 <8.0.0"
-            },
-            {
-              "web3": "*"
-            }
-          ],
-          "build_plan": [
-            "aff",
-            "ansi",
-            "argonaut",
-            "argonaut-codecs",
-            "argonaut-core",
-            "argonaut-traversals",
-            "arraybuffer-types",
-            "arrays",
-            "avar",
-            "bifunctors",
-            "catenable-lists",
-            "chanterelle",
-            "console",
-            "const",
-            "contravariant",
-            "control",
-            "coroutine-transducers",
-            "coroutines",
-            "datetime",
-            "distributive",
-            "dodo-printer",
-            "effect",
-            "either",
-            "enums",
-            "eth-core",
-            "exceptions",
-            "exists",
-            "exitcodes",
-            "filterable",
-            "fixed-points",
-            "foldable-traversable",
-            "foreign",
-            "foreign-object",
-            "fork",
-            "free",
-            "freet",
-            "functions",
-            "functors",
-            "gen",
-            "heterogeneous",
-            "identity",
-            "integers",
-            "invariant",
-            "js-bigints",
-            "js-date",
-            "language-cst-parser",
-            "lazy",
-            "lists",
-            "maybe",
-            "minibench",
-            "newtype",
-            "node-buffer",
-            "node-child-process",
-            "node-event-emitter",
-            "node-fs",
-            "node-os",
-            "node-path",
-            "node-process",
-            "node-streams",
-            "nonempty",
-            "now",
-            "nullable",
-            "numbers",
-            "open-memoize",
-            "optparse",
-            "ordered-collections",
-            "orders",
-            "parallel",
-            "parsing",
-            "partial",
-            "posix-types",
-            "prelude",
-            "profunctor",
-            "profunctor-lenses",
-            "psci-support",
-            "record",
-            "refs",
-            "ring-modules",
-            "safe-coerce",
-            "simple-json",
-            "solc",
-            "st",
-            "string-parsers",
-            "strings",
-            "tagged",
-            "tailrec",
-            "tidy",
-            "tidy-codegen",
-            "transformers",
-            "tuples",
-            "type-equality",
-            "typelevel-prelude",
-            "unfoldable",
-            "unicode",
-            "unsafe-coerce",
-            "validation",
-            "variant",
-            "web3",
-            "web3-generator"
-          ]
-        },
-        "test": {
-          "dependencies": [
-            {
-              "spec": ">=8.0.0 <9.0.0"
-            },
-            {
-              "spec-node": ">=0.0.3 <1.0.0"
-            }
-          ],
-          "build_plan": [
-            "aff",
-            "ansi",
-            "argonaut-codecs",
-            "argonaut-core",
-            "arraybuffer-types",
-            "arrays",
-            "avar",
-            "bifunctors",
-            "catenable-lists",
-            "console",
-            "const",
-            "contravariant",
-            "control",
-            "datetime",
-            "distributive",
-            "effect",
-            "either",
-            "enums",
-            "exceptions",
-            "exists",
-            "exitcodes",
-            "foldable-traversable",
-            "foreign",
-            "foreign-object",
-            "fork",
-            "free",
-            "functions",
-            "functors",
-            "gen",
-            "identity",
-            "integers",
-            "invariant",
-            "js-date",
-            "lazy",
-            "lists",
-            "maybe",
-            "mmorph",
-            "newtype",
-            "node-buffer",
-            "node-event-emitter",
-            "node-fs",
-            "node-path",
-            "node-process",
-            "node-streams",
-            "nonempty",
-            "now",
-            "nullable",
-            "numbers",
-            "open-memoize",
-            "optparse",
-            "ordered-collections",
-            "orders",
-            "parallel",
-            "partial",
-            "pipes",
-            "posix-types",
-            "prelude",
-            "profunctor",
-            "record",
-            "refs",
-            "safe-coerce",
-            "spec",
-            "spec-node",
-            "st",
-            "strings",
-            "tailrec",
-            "transformers",
-            "tuples",
-            "type-equality",
-            "typelevel-prelude",
-            "unfoldable",
-            "unsafe-coerce"
-          ]
-        }
-      },
       "eth-core": {
         "path": "eth-core",
         "core": {
@@ -734,10 +374,10 @@
         "test": {
           "dependencies": [
             {
-              "quickcheck": ">=7.0.0 <8.0.0"
+              "quickcheck": ">=8.0.0 <9.0.0"
             },
             {
-              "quickcheck-laws": ">=8.0.0 <9.0.0"
+              "quickcheck-laws": ">=7.0.0 <8.0.0"
             },
             {
               "spec": ">=8.0.0 <9.0.0"
@@ -1043,7 +683,7 @@
         "core": {
           "dependencies": [
             {
-              "aff": ">=7.1.0 <8.0.0"
+              "aff": ">=8.0.0 <9.0.0"
             },
             {
               "argonaut": ">=9.0.0 <10.0.0"
@@ -1106,7 +746,7 @@
               "node-buffer": ">=9.0.0 <10.0.0"
             },
             {
-              "parallel": ">=6.0.0 <7.0.0"
+              "parallel": ">=7.0.0 <8.0.0"
             },
             {
               "parsing": ">=10.2.0 <11.0.0"
@@ -1234,10 +874,10 @@
         "test": {
           "dependencies": [
             {
-              "quickcheck": ">=7.0.0 <8.0.0"
+              "quickcheck": ">=8.0.0 <9.0.0"
             },
             {
-              "quickcheck-laws": ">=8.0.0 <9.0.0"
+              "quickcheck-laws": ">=7.0.0 <8.0.0"
             },
             {
               "spec": ">=8.0.0 <9.0.0"
@@ -1331,7 +971,7 @@
         "core": {
           "dependencies": [
             {
-              "aff": ">=7.1.0 <8.0.0"
+              "aff": ">=8.0.0 <9.0.0"
             },
             {
               "ansi": ">=7.0.0 <8.0.0"
@@ -1430,7 +1070,7 @@
               "strings": ">=6.0.1 <7.0.0"
             },
             {
-              "tidy-codegen": "*"
+              "tidy-codegen": ">=4.0.0 <5.0.0"
             },
             {
               "transformers": ">=6.1.0 <7.0.0"
@@ -1451,7 +1091,6 @@
             "argonaut-traversals",
             "arraybuffer-types",
             "arrays",
-            "avar",
             "bifunctors",
             "catenable-lists",
             "console",
@@ -1470,7 +1109,6 @@
             "exceptions",
             "exists",
             "exitcodes",
-            "filterable",
             "fixed-points",
             "foldable-traversable",
             "foreign",
@@ -1491,13 +1129,10 @@
             "lazy",
             "lists",
             "maybe",
-            "minibench",
             "newtype",
             "node-buffer",
-            "node-child-process",
             "node-event-emitter",
             "node-fs",
-            "node-os",
             "node-path",
             "node-process",
             "node-streams",
@@ -1714,7 +1349,7 @@
     },
     "package_set": {
       "address": {
-        "registry": "62.3.1"
+        "registry": "65.0.1"
       },
       "compiler": ">=0.15.15 <0.16.0",
       "content": {
@@ -1750,11 +1385,13 @@
         "ask": "1.0.0",
         "assert": "6.0.0",
         "assert-multiple": "0.4.0",
-        "avar": "5.0.0",
+        "avar": "5.0.1",
+        "axon": "0.0.3",
         "b64": "0.0.8",
         "barbies": "1.0.1",
         "barlow-lens": "0.9.0",
-        "bifunctors": "6.0.0",
+        "benchlib": "0.0.4",
+        "bifunctors": "6.1.0",
         "bigints": "7.0.1",
         "bolson": "0.3.9",
         "bookhound": "0.1.7",
@@ -1806,8 +1443,9 @@
         "deno": "0.0.5",
         "dissect": "1.0.0",
         "distributive": "6.0.0",
+        "dodo-printer": "2.2.3",
         "dom-filereader": "7.0.0",
-        "dom-indexed": "12.0.0",
+        "dom-indexed": "13.0.0",
         "dom-simple": "0.4.0",
         "dotenv": "4.0.3",
         "droplet": "0.6.0",
@@ -1832,8 +1470,10 @@
         "exists": "6.0.0",
         "exitcodes": "4.0.0",
         "expect-inferred": "3.0.0",
-        "ezfetch": "1.1.0",
+        "express": "0.9.1",
+        "ezfetch": "1.1.1",
         "fahrtwind": "2.0.0",
+        "fakerjs": "0.0.1",
         "fallback": "0.1.0",
         "fast-vect": "1.2.0",
         "fetch": "4.1.0",
@@ -1841,12 +1481,13 @@
         "fetch-core": "5.1.0",
         "fetch-yoga-json": "1.1.0",
         "ffi-simple": "0.5.1",
+        "fft": "0.3.0",
         "fft-js": "0.1.0",
         "filterable": "5.0.0",
         "fix-functor": "0.1.0",
         "fixed-points": "7.0.0",
         "fixed-precision": "5.0.0",
-        "flame": "1.3.0",
+        "flame": "1.4.0",
         "float32": "2.0.0",
         "fmt": "0.2.1",
         "foldable-traversable": "6.0.0",
@@ -1872,7 +1513,9 @@
         "generic-router": "0.0.1",
         "geojson": "0.0.5",
         "geometria": "2.2.0",
+        "gesso": "1.0.0",
         "gojs": "0.1.1",
+        "golem-fetch": "0.1.0",
         "grain": "3.0.0",
         "grain-router": "3.0.0",
         "grain-virtualized": "3.0.0",
@@ -1882,9 +1525,10 @@
         "halogen-bootstrap5": "5.3.2",
         "halogen-canvas": "1.0.0",
         "halogen-css": "10.0.0",
+        "halogen-declarative-canvas": "0.0.8",
         "halogen-echarts-simple": "0.0.4",
         "halogen-formless": "4.0.3",
-        "halogen-helix": "1.0.1",
+        "halogen-helix": "1.1.0",
         "halogen-hooks": "0.6.3",
         "halogen-hooks-extra": "0.9.0",
         "halogen-infinite-scroll": "1.1.0",
@@ -1893,6 +1537,7 @@
         "halogen-subscriptions": "2.0.0",
         "halogen-svg-elems": "8.0.0",
         "halogen-typewriter": "1.0.4",
+        "halogen-use-trigger-hooks": "1.0.0",
         "halogen-vdom": "8.0.0",
         "halogen-vdom-string-renderer": "0.5.0",
         "halogen-xterm": "2.0.0",
@@ -1961,6 +1606,7 @@
         "meowclient": "1.0.0",
         "midi": "4.0.0",
         "milkis": "9.0.0",
+        "mimetype": "0.0.1",
         "minibench": "4.0.1",
         "mmorph": "7.0.0",
         "monad-control": "5.0.0",
@@ -1987,7 +1633,7 @@
         "node-event-emitter": "3.0.0",
         "node-execa": "5.0.0",
         "node-fs": "9.2.0",
-        "node-glob-basic": "1.3.0",
+        "node-glob-basic": "2.0.0",
         "node-http": "9.1.0",
         "node-http2": "1.1.1",
         "node-human-signals": "1.0.0",
@@ -1998,9 +1644,10 @@
         "node-readline": "8.1.1",
         "node-sqlite3": "8.0.0",
         "node-stream-pipes": "2.1.6",
-        "node-streams": "9.0.0",
+        "node-streams": "9.0.1",
         "node-tls": "0.3.1",
         "node-url": "7.0.1",
+        "node-workerbees": "0.3.1",
         "node-zlib": "0.4.0",
         "nonempty": "7.0.0",
         "now": "6.0.0",
@@ -2028,7 +1675,7 @@
         "owoify": "1.2.0",
         "pairs": "9.0.1",
         "parallel": "7.0.0",
-        "parsing": "10.2.0",
+        "parsing": "10.3.0",
         "parsing-dataview": "3.2.4",
         "partial": "4.0.0",
         "pathy": "9.0.0",
@@ -2045,7 +1692,7 @@
         "postgresql": "2.0.20",
         "precise": "6.0.0",
         "precise-datetime": "7.0.0",
-        "prelude": "6.0.1",
+        "prelude": "6.0.2",
         "prettier-printer": "3.0.0",
         "printf": "0.1.0",
         "priority-queue": "0.1.2",
@@ -2085,11 +1732,13 @@
         "recharts": "1.1.0",
         "record": "4.0.0",
         "record-extra": "5.0.1",
+        "record-extra-srghma": "0.2.8",
         "record-ptional-fields": "0.1.2",
         "record-studio": "1.0.4",
         "refs": "6.0.0",
         "remotedata": "5.0.1",
         "repr": "0.5.0",
+        "resize-arrays": "0.0.1",
         "resize-observer": "1.0.0",
         "resource": "2.0.1",
         "resourcet": "1.0.0",
@@ -2151,11 +1800,14 @@
         "thermite-dom": "0.3.1",
         "these": "6.0.0",
         "threading": "0.0.3",
+        "tidy": "0.11.1",
+        "tidy-codegen": "4.0.1",
         "tldr": "0.0.0",
         "toestand": "0.9.0",
         "transformation-matrix": "1.0.1",
         "transformers": "6.1.0",
         "tree-rose": "4.0.2",
+        "trivial-unfold": "0.5.0",
         "ts-bridge": "4.0.0",
         "tuples": "7.0.0",
         "two-or-more": "1.0.0",
@@ -2184,11 +1836,13 @@
         "untagged-union": "1.0.0",
         "uri": "9.0.0",
         "url-immutable": "1.0.0",
+        "url-regex-safe": "0.1.1",
         "uuid": "9.0.0",
         "uuidv4": "1.0.0",
         "validation": "6.0.0",
         "variant": "8.0.0",
         "variant-encodings": "2.0.0",
+        "variant-gen": "1.0.0",
         "vectorfield": "1.0.1",
         "vectors": "2.1.0",
         "versions": "7.0.0",
@@ -2222,7 +1876,7 @@
         "webextension-polyfill": "0.1.0",
         "webgpu": "0.0.1",
         "which": "2.0.0",
-        "whine-core": "0.0.22",
+        "whine-core": "0.0.32",
         "xterm": "1.0.0",
         "yoga-fetch": "1.0.1",
         "yoga-json": "5.1.0",
@@ -2257,103 +1911,6 @@
           "transformers",
           "tuples"
         ]
-      },
-      "dodo-printer": {
-        "git": "https://github.com/natefaubion/purescript-dodo-printer.git",
-        "ref": "v2.2.1",
-        "dependencies": [
-          "aff",
-          "ansi",
-          "arrays",
-          "avar",
-          "console",
-          "control",
-          "effect",
-          "either",
-          "exceptions",
-          "foldable-traversable",
-          "integers",
-          "lists",
-          "maybe",
-          "minibench",
-          "newtype",
-          "node-buffer",
-          "node-child-process",
-          "node-path",
-          "node-process",
-          "node-streams",
-          "parallel",
-          "partial",
-          "posix-types",
-          "prelude",
-          "safe-coerce",
-          "strings",
-          "tuples"
-        ]
-      },
-      "tidy": {
-        "git": "https://github.com/natefaubion/purescript-tidy.git",
-        "ref": "v0.10.0",
-        "dependencies": [
-          "arrays",
-          "dodo-printer",
-          "foldable-traversable",
-          "language-cst-parser",
-          "lists",
-          "maybe",
-          "ordered-collections",
-          "partial",
-          "prelude",
-          "strings",
-          "tuples"
-        ]
-      },
-      "tidy-codegen": {
-        "git": "https://github.com/natefaubion/purescript-tidy-codegen.git",
-        "ref": "v4.0.0",
-        "dependencies": [
-          "aff",
-          "ansi",
-          "arrays",
-          "avar",
-          "bifunctors",
-          "console",
-          "control",
-          "dodo-printer",
-          "effect",
-          "either",
-          "enums",
-          "exceptions",
-          "filterable",
-          "foldable-traversable",
-          "free",
-          "identity",
-          "integers",
-          "language-cst-parser",
-          "lazy",
-          "lists",
-          "maybe",
-          "newtype",
-          "node-buffer",
-          "node-child-process",
-          "node-path",
-          "node-process",
-          "node-streams",
-          "ordered-collections",
-          "parallel",
-          "partial",
-          "posix-types",
-          "prelude",
-          "record",
-          "safe-coerce",
-          "st",
-          "strings",
-          "tidy",
-          "transformers",
-          "tuples",
-          "type-equality",
-          "unicode"
-        ]
       }
     }
   },
@@ -2476,8 +2033,8 @@
     },
     "avar": {
       "type": "registry",
-      "version": "5.0.0",
-      "integrity": "sha256-e7hf0x4hEpcygXP0LtvfvAQ49Bbj2aWtZT3gqM///0A=",
+      "version": "5.0.1",
+      "integrity": "sha256-f+bRR3qQPa/GVe4UbLQiJBy7+PzJkUCwT6qNn0UlkMY=",
       "dependencies": [
         "aff",
         "effect",
@@ -2489,8 +2046,8 @@
     },
     "bifunctors": {
       "type": "registry",
-      "version": "6.0.0",
-      "integrity": "sha256-/gZwC9YhNxZNQpnHa5BIYerCGM2jeX9ukZiEvYxm5Nw=",
+      "version": "6.1.0",
+      "integrity": "sha256-6enQzl1vqnFTQZ1WX9BnoOOVdPGO9WZvVXldHckVQvY=",
       "dependencies": [
         "const",
         "either",
@@ -2622,33 +2179,18 @@
       ]
     },
     "dodo-printer": {
-      "type": "git",
-      "url": "https://github.com/natefaubion/purescript-dodo-printer.git",
-      "rev": "831c5c963a57ca4bfd62f96335267d7d0785851d",
+      "type": "registry",
+      "version": "2.2.3",
+      "integrity": "sha256-+XQtWgt+ybwvQb+QbJ60wm4/hxGRAQoSmeR+Se+ZT7I=",
       "dependencies": [
-        "aff",
         "ansi",
-        "arrays",
-        "avar",
-        "console",
-        "control",
-        "effect",
         "either",
-        "exceptions",
         "foldable-traversable",
         "integers",
         "lists",
         "maybe",
-        "minibench",
         "newtype",
-        "node-buffer",
-        "node-child-process",
-        "node-path",
-        "node-process",
-        "node-streams",
-        "parallel",
         "partial",
-        "posix-types",
         "prelude",
         "safe-coerce",
         "strings",
@@ -2718,19 +2260,6 @@
         "enums"
       ]
     },
-    "filterable": {
-      "type": "registry",
-      "version": "5.0.0",
-      "integrity": "sha256-cCojJHRnTmpY1j1kegI4CFwghdQ2Fm/8dzM8IlC+lng=",
-      "dependencies": [
-        "arrays",
-        "either",
-        "foldable-traversable",
-        "identity",
-        "lists",
-        "ordered-collections"
-      ]
-    },
     "fixed-points": {
       "type": "registry",
       "version": "7.0.0",
@@ -3040,20 +2569,6 @@
         "prelude"
       ]
     },
-    "minibench": {
-      "type": "registry",
-      "version": "4.0.1",
-      "integrity": "sha256-7jyxcklZI49q/otYvMV4f9YnJwEqQ3Me5buhDwAOydw=",
-      "dependencies": [
-        "console",
-        "effect",
-        "integers",
-        "numbers",
-        "partial",
-        "prelude",
-        "refs"
-      ]
-    },
     "mmorph": {
       "type": "registry",
       "version": "7.0.0",
@@ -3086,24 +2601,6 @@
         "unsafe-coerce"
       ]
     },
-    "node-child-process": {
-      "type": "registry",
-      "version": "11.1.0",
-      "integrity": "sha256-vioMNgk8p+CGwlb6T3I3TIir27el85Yg4satLE/I89w=",
-      "dependencies": [
-        "exceptions",
-        "foreign",
-        "foreign-object",
-        "functions",
-        "node-event-emitter",
-        "node-fs",
-        "node-os",
-        "node-streams",
-        "nullable",
-        "posix-types",
-        "unsafe-coerce"
-      ]
-    },
     "node-event-emitter": {
       "type": "registry",
       "version": "3.0.0",
@@ -3142,32 +2639,6 @@
         "unsafe-coerce"
       ]
     },
-    "node-os": {
-      "type": "registry",
-      "version": "5.1.0",
-      "integrity": "sha256-K3gcu9AXanN1+qtk1900+Fi+CuO0s3/H/RMNRNgIzso=",
-      "dependencies": [
-        "arrays",
-        "bifunctors",
-        "console",
-        "control",
-        "datetime",
-        "effect",
-        "either",
-        "exceptions",
-        "foldable-traversable",
-        "foreign",
-        "foreign-object",
-        "functions",
-        "maybe",
-        "node-buffer",
-        "nullable",
-        "partial",
-        "posix-types",
-        "prelude",
-        "unsafe-coerce"
-      ]
-    },
     "node-path": {
       "type": "registry",
       "version": "5.0.1",
@@ -3194,17 +2665,23 @@
     },
     "node-streams": {
       "type": "registry",
-      "version": "9.0.0",
-      "integrity": "sha256-2n6dq7YWleTDmD1Kur/ul7Cn08IvWrScgPf+0PgX2TQ=",
+      "version": "9.0.1",
+      "integrity": "sha256-7RJ6RqjOlhW+QlDFQNUHlkCG/CuYTTLT8yary5jhhsU=",
       "dependencies": [
         "aff",
+        "arrays",
         "effect",
         "either",
         "exceptions",
+        "maybe",
         "node-buffer",
         "node-event-emitter",
         "nullable",
-        "prelude"
+        "prelude",
+        "refs",
+        "st",
+        "tailrec",
+        "unsafe-coerce"
       ]
     },
     "nonempty": {
@@ -3348,8 +2825,8 @@
     },
     "parsing": {
       "type": "registry",
-      "version": "10.2.0",
-      "integrity": "sha256-ZDIdMFAKkst57x6BVa1aUWJnS8smoZnXsZ339Aq1mPA=",
+      "version": "10.3.0",
+      "integrity": "sha256-ykIVIZcsyRcMxui1ZH+4GLzoVTstv6BRVZyz55+2TvI=",
       "dependencies": [
         "arrays",
         "control",
@@ -3409,8 +2886,8 @@
     },
     "prelude": {
       "type": "registry",
-      "version": "6.0.1",
-      "integrity": "sha256-o8p6SLYmVPqzXZhQFd2hGAWEwBoXl1swxLG/scpJ0V0=",
+      "version": "6.0.2",
+      "integrity": "sha256-kiAPZxihtAel8uRiTNdccf4qylp/9J3jNkEHNAD0MsE=",
       "dependencies": []
     },
     "profunctor": {
@@ -3715,16 +3192,19 @@
       ]
     },
     "tidy": {
-      "type": "git",
-      "url": "https://github.com/natefaubion/purescript-tidy.git",
-      "rev": "42db77a3d9b0985021d970404195ca8bb2857ee0",
+      "type": "registry",
+      "version": "0.11.1",
+      "integrity": "sha256-SaZquYd0iGmueAFjAqrTgdfWEAKPQUsLKanClbl5m5k=",
       "dependencies": [
         "arrays",
+        "control",
         "dodo-printer",
+        "either",
         "foldable-traversable",
         "language-cst-parser",
         "lists",
         "maybe",
+        "newtype",
         "ordered-collections",
         "partial",
         "prelude",
@@ -3733,23 +3213,17 @@
       ]
     },
     "tidy-codegen": {
-      "type": "git",
-      "url": "https://github.com/natefaubion/purescript-tidy-codegen.git",
-      "rev": "a6ed54719e28338a621a311219a3bf4e33abe289",
+      "type": "registry",
+      "version": "4.0.1",
+      "integrity": "sha256-VOblhGfWSyi+6X0/u4XLmddq62F9PWJ4Sd0qhCgOQY4=",
       "dependencies": [
-        "aff",
-        "ansi",
         "arrays",
-        "avar",
         "bifunctors",
-        "console",
         "control",
         "dodo-printer",
         "effect",
         "either",
         "enums",
-        "exceptions",
-        "filterable",
         "foldable-traversable",
         "free",
         "identity",
@@ -3759,15 +3233,8 @@
         "lists",
         "maybe",
         "newtype",
-        "node-buffer",
-        "node-child-process",
-        "node-path",
-        "node-process",
-        "node-streams",
         "ordered-collections",
-        "parallel",
         "partial",
-        "posix-types",
         "prelude",
         "record",
         "safe-coerce",
diff --git a/spago.yaml b/spago.yaml
index dd20d44..ca7905e 100644
--- a/spago.yaml
+++ b/spago.yaml
@@ -1,6 +1,6 @@
 workspace:
   packageSet:
-    registry: 62.3.1
+    registry: 65.0.1
   extraPackages:
     coroutine-transducers:
       dependencies:
@@ -21,95 +21,4 @@ workspace:
         - transformers
         - tuples
       git: https://github.com/martyall/purescript-coroutine-transducers
-      ref: v1.0.0
-    dodo-printer:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - console
-        - control
-        - effect
-        - either
-        - exceptions
-        - foldable-traversable
-        - integers
-        - lists
-        - maybe
-        - minibench
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - safe-coerce
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-dodo-printer.git
-      ref: v2.2.1
-    tidy:
-      dependencies:
-        - arrays
-        - dodo-printer
-        - foldable-traversable
-        - language-cst-parser
-        - lists
-        - maybe
-        - ordered-collections
-        - partial
-        - prelude
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-tidy.git
-      ref: v0.10.0
-    tidy-codegen:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - bifunctors
-        - console
-        - control
-        - dodo-printer
-        - effect
-        - either
-        - enums
-        - exceptions
-        - filterable
-        - foldable-traversable
-        - free
-        - identity
-        - integers
-        - language-cst-parser
-        - lazy
-        - lists
-        - maybe
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - ordered-collections
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - record
-        - safe-coerce
-        - st
-        - strings
-        - tidy
-        - transformers
-        - tuples
-        - type-equality
-        - unicode
-      git: https://github.com/natefaubion/purescript-tidy-codegen.git
-      ref: v4.0.0
+      ref: v1.0.0
\ No newline at end of file
diff --git a/test/spago.yaml b/test/spago.yaml
index 7b7c651..9437e95 100644
--- a/test/spago.yaml
+++ b/test/spago.yaml
@@ -1,7 +1,7 @@
 package:
   name: test-contracts
   dependencies:
-    - aff: ">=7.1.0 <8.0.0"
+    - aff: ">=8.0.0 <9.0.0"
     - arrays: ">=7.3.0 <8.0.0"
     - chanterelle: "*"
     - effect: ">=4.0.0 <5.0.0"
@@ -10,7 +10,7 @@ package:
     - identity: ">=6.0.0 <7.0.0"
     - maybe: ">=6.0.0 <7.0.0"
     - newtype: ">=5.0.0 <6.0.0"
-    - parallel: ">=6.0.0 <7.0.0"
+    - parallel: ">=7.0.0 <8.0.0"
     - partial: ">=4.0.0 <5.0.0"
     - prelude: ">=6.0.1 <7.0.0"
     - profunctor-lenses: ">=8.0.0 <9.0.0"
@@ -21,12 +21,12 @@ package:
   test:
     main: Test.Web3.Main
     dependencies:
-      - quickcheck: ">=7.0.0 <8.0.0"
+      - quickcheck: ">=8.0.0 <9.0.0"
       - spec: ">=8.0.0 <9.0.0"
       - spec-node: ">=0.0.3 <1.0.0"
 workspace:
   packageSet:
-    registry: 62.3.1
+    registry: 65.0.1
   extraPackages:
     chanterelle:
       path: ../chanterelle
@@ -50,101 +50,10 @@ workspace:
         - tuples
       git: https://github.com/martyall/purescript-coroutine-transducers
       ref: v1.0.0
-    dodo-printer:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - console
-        - control
-        - effect
-        - either
-        - exceptions
-        - foldable-traversable
-        - integers
-        - lists
-        - maybe
-        - minibench
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - safe-coerce
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-dodo-printer.git
-      ref: v2.2.1
     eth-core:
       path: ../eth-core
     solc:
       path: ../solc
-    tidy:
-      dependencies:
-        - arrays
-        - dodo-printer
-        - foldable-traversable
-        - language-cst-parser
-        - lists
-        - maybe
-        - ordered-collections
-        - partial
-        - prelude
-        - strings
-        - tuples
-      git: https://github.com/natefaubion/purescript-tidy.git
-      ref: v0.10.0
-    tidy-codegen:
-      dependencies:
-        - aff
-        - ansi
-        - arrays
-        - avar
-        - bifunctors
-        - console
-        - control
-        - dodo-printer
-        - effect
-        - either
-        - enums
-        - exceptions
-        - filterable
-        - foldable-traversable
-        - free
-        - identity
-        - integers
-        - language-cst-parser
-        - lazy
-        - lists
-        - maybe
-        - newtype
-        - node-buffer
-        - node-child-process
-        - node-path
-        - node-process
-        - node-streams
-        - ordered-collections
-        - parallel
-        - partial
-        - posix-types
-        - prelude
-        - record
-        - safe-coerce
-        - st
-        - strings
-        - tidy
-        - transformers
-        - tuples
-        - type-equality
-        - unicode
-      git: https://github.com/natefaubion/purescript-tidy-codegen.git
-      ref: v4.0.0
     web3:
       path: ../web3
     web3-generator:
diff --git a/web3-generator/spago.yaml b/web3-generator/spago.yaml
index f5b28ce..1161f76 100644
--- a/web3-generator/spago.yaml
+++ b/web3-generator/spago.yaml
@@ -1,7 +1,7 @@
 package:
   name: web3-generator
   dependencies:
-    - aff: ">=7.1.0 <8.0.0"
+    - aff: ">=8.0.0 <9.0.0"
     - ansi: ">=7.0.0 <8.0.0"
     - argonaut: ">=9.0.0 <10.0.0"
     - argonaut-codecs: ">=9.1.0 <10.0.0"
@@ -34,7 +34,7 @@ package:
     - profunctor-lenses: ">=8.0.0 <9.0.0"
     - string-parsers: ">=8.0.0 <9.0.0"
     - strings: ">=6.0.1 <7.0.0"
-    - tidy-codegen: "*"
+    - tidy-codegen: ">=4.0.0 <5.0.0"
     - transformers: ">=6.1.0 <7.0.0"
     - tuples: ">=7.0.0 <8.0.0"
     - web3: "*"
diff --git a/web3/spago.yaml b/web3/spago.yaml
index bb4ea6e..bc16658 100644
--- a/web3/spago.yaml
+++ b/web3/spago.yaml
@@ -1,7 +1,7 @@
 package:
   name: web3
   dependencies:
-    - aff: ">=7.1.0 <8.0.0"
+    - aff: ">=8.0.0 <9.0.0"
     - argonaut: ">=9.0.0 <10.0.0"
     - arrays: ">=7.3.0 <8.0.0"
     - bifunctors: ">=6.0.0 <7.0.0"
@@ -22,7 +22,7 @@ package:
     - maybe: ">=6.0.0 <7.0.0"
     - newtype: ">=5.0.0 <6.0.0"
     - node-buffer: ">=9.0.0 <10.0.0"
-    - parallel: ">=6.0.0 <7.0.0"
+    - parallel: ">=7.0.0 <8.0.0"
     - parsing: ">=10.2.0 <11.0.0"
     - partial: ">=4.0.0 <5.0.0"
     - prelude: ">=6.0.1 <7.0.0"
@@ -42,8 +42,8 @@ package:
   test:
     main: Test.Web3.Main
     dependencies:
-      - quickcheck: ">=7.0.0 <8.0.0"
-      - quickcheck-laws: ">=8.0.0 <9.0.0"
+      - quickcheck: ">=8.0.0 <9.0.0"
+      - quickcheck-laws: ">=7.0.0 <8.0.0"
       - spec: ">=8.0.0 <9.0.0"
       - spec-node: ">=0.0.3 <1.0.0"