diff --git a/flake.lock b/flake.lock
index f46c309..c02c53d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -128,22 +128,6 @@
         "type": "github"
       }
     },
-    "HTTP_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1451647621,
-        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
-        "owner": "phadej",
-        "repo": "HTTP",
-        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
-        "type": "github"
-      },
-      "original": {
-        "owner": "phadej",
-        "repo": "HTTP",
-        "type": "github"
-      }
-    },
     "Shrinker": {
       "flake": false,
       "locked": {
@@ -296,23 +280,6 @@
         "type": "github"
       }
     },
-    "cabal-32_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1603716527,
-        "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=",
-        "owner": "haskell",
-        "repo": "cabal",
-        "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "ref": "3.2",
-        "repo": "cabal",
-        "type": "github"
-      }
-    },
     "cabal-34": {
       "flake": false,
       "locked": {
@@ -449,23 +416,6 @@
         "type": "github"
       }
     },
-    "cabal-34_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1622475795,
-        "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=",
-        "owner": "haskell",
-        "repo": "cabal",
-        "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "ref": "3.4",
-        "repo": "cabal",
-        "type": "github"
-      }
-    },
     "cabal-36": {
       "flake": false,
       "locked": {
@@ -715,22 +665,6 @@
       }
     },
     "cardano-base_8": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1652788515,
-        "narHash": "sha256-l0KgomRi6YhEoOlFnBYEXhnZO2+PW68rhfUrbMXjhCQ=",
-        "owner": "input-output-hk",
-        "repo": "cardano-base",
-        "rev": "631cb6cf1fa01ab346233b610a38b3b4cba6e6ab",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "cardano-base",
-        "type": "github"
-      }
-    },
-    "cardano-base_9": {
       "flake": false,
       "locked": {
         "lastModified": 1638456794,
@@ -882,23 +816,6 @@
         "type": "github"
       }
     },
-    "cardano-crypto_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1621376239,
-        "narHash": "sha256-oxIOVlgm07FAEmgGRF1C2me9TXqVxQulEOcJ22zpTRs=",
-        "owner": "input-output-hk",
-        "repo": "cardano-crypto",
-        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "cardano-crypto",
-        "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec",
-        "type": "github"
-      }
-    },
     "cardano-prelude": {
       "flake": false,
       "locked": {
@@ -1019,23 +936,6 @@
       }
     },
     "cardano-prelude_8": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653997332,
-        "narHash": "sha256-E+YSfUsvxdoOr7n7fz4xd7zb4z8XBRGNYOKipc2A1pw=",
-        "owner": "mlabs-haskell",
-        "repo": "cardano-prelude",
-        "rev": "713c7ae79a4d538fcd653c976a652913df1567b9",
-        "type": "github"
-      },
-      "original": {
-        "owner": "mlabs-haskell",
-        "repo": "cardano-prelude",
-        "rev": "713c7ae79a4d538fcd653c976a652913df1567b9",
-        "type": "github"
-      }
-    },
-    "cardano-prelude_9": {
       "flake": false,
       "locked": {
         "lastModified": 1641566029,
@@ -1180,22 +1080,6 @@
         "type": "github"
       }
     },
-    "cardano-repo-tool_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1624584417,
-        "narHash": "sha256-YSepT97PagR/1jTYV/Yer8a2GjFe9+tTwaTCHxuK50M=",
-        "owner": "input-output-hk",
-        "repo": "cardano-repo-tool",
-        "rev": "30e826ed8f00e3e154453b122a6f3d779b2f73ec",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "cardano-repo-tool",
-        "type": "github"
-      }
-    },
     "cardano-shell": {
       "flake": false,
       "locked": {
@@ -1324,22 +1208,6 @@
         "type": "github"
       }
     },
-    "cardano-shell_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1608537748,
-        "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=",
-        "owner": "input-output-hk",
-        "repo": "cardano-shell",
-        "rev": "9392c75087cb9a3d453998f4230930dea3a95725",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "cardano-shell",
-        "type": "github"
-      }
-    },
     "cryptonite": {
       "flake": false,
       "locked": {
@@ -1357,22 +1225,6 @@
         "type": "github"
       }
     },
-    "easy-ps": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1631961521,
-        "narHash": "sha256-1yPjUdOYzw1+UGFzBXbyZqEbsM6XZu/6+v8W35qFdLo=",
-        "owner": "justinwoo",
-        "repo": "easy-purescript-nix",
-        "rev": "d9a37c75ed361372e1545f6efbc08d819b3c28c8",
-        "type": "github"
-      },
-      "original": {
-        "owner": "justinwoo",
-        "repo": "easy-purescript-nix",
-        "type": "github"
-      }
-    },
     "ema": {
       "inputs": {
         "flake-compat": "flake-compat",
@@ -2371,36 +2223,6 @@
         "type": "github"
       }
     },
-    "flake-utils_26": {
-      "locked": {
-        "lastModified": 1631561581,
-        "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "flake-utils_27": {
-      "locked": {
-        "lastModified": 1623875721,
-        "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
     "flake-utils_3": {
       "locked": {
         "lastModified": 1644229661,
@@ -2623,22 +2445,6 @@
       }
     },
     "flat_8": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1651403785,
-        "narHash": "sha256-g+jGep1IXdw4q01W67J6f6OODY91QzIlW1+Eu8pR+u0=",
-        "owner": "Quid2",
-        "repo": "flat",
-        "rev": "559617e058098b776b431e2a67346ad3adea2440",
-        "type": "github"
-      },
-      "original": {
-        "owner": "Quid2",
-        "repo": "flat",
-        "type": "github"
-      }
-    },
-    "flat_9": {
       "flake": false,
       "locked": {
         "lastModified": 1641898475,
@@ -2808,23 +2614,6 @@
         "type": "github"
       }
     },
-    "ghc-8.6.5-iohk_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1600920045,
-        "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=",
-        "owner": "input-output-hk",
-        "repo": "ghc",
-        "rev": "95713a6ecce4551240da7c96b6176f980af75cae",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "ref": "release/8.6.5-iohk",
-        "repo": "ghc",
-        "type": "github"
-      }
-    },
     "gitignore-nix": {
       "flake": false,
       "locked": {
@@ -2953,22 +2742,6 @@
         "type": "github"
       }
     },
-    "gitignore-nix_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1611672876,
-        "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=",
-        "owner": "hercules-ci",
-        "repo": "gitignore.nix",
-        "rev": "211907489e9f198594c0eb0ca9256a1949c9d412",
-        "type": "github"
-      },
-      "original": {
-        "owner": "hercules-ci",
-        "repo": "gitignore.nix",
-        "type": "github"
-      }
-    },
     "hackage": {
       "flake": false,
       "locked": {
@@ -3113,22 +2886,6 @@
         "type": "github"
       }
     },
-    "hackage-nix_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1651108473,
-        "narHash": "sha256-zHGCnBdwKvrcYanjf3GARTWF8V2pyJl1QNONUNZSoc0=",
-        "owner": "input-output-hk",
-        "repo": "hackage.nix",
-        "rev": "dbab3b292c3400d028a2257e3acd2ac0249da774",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "hackage.nix",
-        "type": "github"
-      }
-    },
     "hackage_2": {
       "flake": false,
       "locked": {
@@ -3241,22 +2998,6 @@
         "type": "github"
       }
     },
-    "hackage_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1633396333,
-        "narHash": "sha256-mq7OoYa7ODDoKzUxR8xuEtQ0F0LO9I5uZG9DTZY+A/U=",
-        "owner": "input-output-hk",
-        "repo": "hackage.nix",
-        "rev": "0b33cf7ca5f152a6b3acda375433a6bc86f8d3e7",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "hackage.nix",
-        "type": "github"
-      }
-    },
     "haskell-language-server": {
       "flake": false,
       "locked": {
@@ -3276,11 +3017,11 @@
     "haskell-language-server_10": {
       "flake": false,
       "locked": {
-        "lastModified": 1654120290,
-        "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=",
+        "lastModified": 1653778781,
+        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
         "owner": "haskell",
         "repo": "haskell-language-server",
-        "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17",
+        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
         "type": "github"
       },
       "original": {
@@ -3290,22 +3031,6 @@
       }
     },
     "haskell-language-server_11": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653778781,
-        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "type": "github"
-      }
-    },
-    "haskell-language-server_12": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3322,7 +3047,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_13": {
+    "haskell-language-server_12": {
       "flake": false,
       "locked": {
         "lastModified": 1654120290,
@@ -3338,7 +3063,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_14": {
+    "haskell-language-server_13": {
       "flake": false,
       "locked": {
         "lastModified": 1653778781,
@@ -3354,7 +3079,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_15": {
+    "haskell-language-server_14": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3371,6 +3096,22 @@
         "type": "github"
       }
     },
+    "haskell-language-server_15": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1654120290,
+        "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
     "haskell-language-server_16": {
       "flake": false,
       "locked": {
@@ -3390,11 +3131,11 @@
     "haskell-language-server_17": {
       "flake": false,
       "locked": {
-        "lastModified": 1654120290,
-        "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=",
+        "lastModified": 1653778781,
+        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
         "owner": "haskell",
         "repo": "haskell-language-server",
-        "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17",
+        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
         "type": "github"
       },
       "original": {
@@ -3404,22 +3145,6 @@
       }
     },
     "haskell-language-server_18": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653778781,
-        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "type": "github"
-      }
-    },
-    "haskell-language-server_19": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3436,14 +3161,30 @@
         "type": "github"
       }
     },
+    "haskell-language-server_19": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653778781,
+        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
     "haskell-language-server_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1654120290,
-        "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=",
+        "lastModified": 1653778781,
+        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
         "owner": "haskell",
         "repo": "haskell-language-server",
-        "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17",
+        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
         "type": "github"
       },
       "original": {
@@ -3453,22 +3194,6 @@
       }
     },
     "haskell-language-server_20": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653778781,
-        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "type": "github"
-      }
-    },
-    "haskell-language-server_21": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3485,7 +3210,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_22": {
+    "haskell-language-server_21": {
       "flake": false,
       "locked": {
         "lastModified": 1645014262,
@@ -3501,7 +3226,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_23": {
+    "haskell-language-server_22": {
       "flake": false,
       "locked": {
         "lastModified": 1643835246,
@@ -3518,7 +3243,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_24": {
+    "haskell-language-server_3": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3535,40 +3260,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_3": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653778781,
-        "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "type": "github"
-      }
-    },
     "haskell-language-server_4": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1650980856,
-        "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=",
-        "owner": "haskell",
-        "repo": "haskell-language-server",
-        "rev": "b5a37f7fc360596899cb2945f363030f44156415",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "ref": "1.7.0.0",
-        "repo": "haskell-language-server",
-        "type": "github"
-      }
-    },
-    "haskell-language-server_5": {
       "flake": false,
       "locked": {
         "lastModified": 1653778781,
@@ -3584,7 +3276,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_6": {
+    "haskell-language-server_5": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3601,7 +3293,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_7": {
+    "haskell-language-server_6": {
       "flake": false,
       "locked": {
         "lastModified": 1654120290,
@@ -3617,7 +3309,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_8": {
+    "haskell-language-server_7": {
       "flake": false,
       "locked": {
         "lastModified": 1653778781,
@@ -3633,7 +3325,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_9": {
+    "haskell-language-server_8": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3650,6 +3342,22 @@
         "type": "github"
       }
     },
+    "haskell-language-server_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1654120290,
+        "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
     "haskell-nix": {
       "inputs": {
         "HTTP": "HTTP",
@@ -3693,9 +3401,13 @@
     "haskell-nix-extra-hackage": {
       "inputs": {
         "haskell-nix": [
+          "liqwid-plutarch-extra",
+          "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
+          "liqwid-plutarch-extra",
+          "plutarch",
           "nixpkgs"
         ]
       },
@@ -3716,12 +3428,10 @@
     "haskell-nix-extra-hackage_2": {
       "inputs": {
         "haskell-nix": [
-          "liqwid-plutarch-extra",
           "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
-          "liqwid-plutarch-extra",
           "plutarch",
           "nixpkgs"
         ]
@@ -3743,10 +3453,12 @@
     "haskell-nix-extra-hackage_3": {
       "inputs": {
         "haskell-nix": [
+          "plutarch-context-builder",
           "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
+          "plutarch-context-builder",
           "plutarch",
           "nixpkgs"
         ]
@@ -3768,12 +3480,12 @@
     "haskell-nix-extra-hackage_4": {
       "inputs": {
         "haskell-nix": [
-          "plutarch-context-builder",
+          "plutarch-numeric",
           "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
-          "plutarch-context-builder",
+          "plutarch-numeric",
           "plutarch",
           "nixpkgs"
         ]
@@ -3795,12 +3507,12 @@
     "haskell-nix-extra-hackage_5": {
       "inputs": {
         "haskell-nix": [
-          "plutarch-numeric",
+          "plutarch-quickcheck",
           "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
-          "plutarch-numeric",
+          "plutarch-quickcheck",
           "plutarch",
           "nixpkgs"
         ]
@@ -3822,12 +3534,14 @@
     "haskell-nix-extra-hackage_6": {
       "inputs": {
         "haskell-nix": [
-          "plutarch-quickcheck",
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
           "plutarch",
           "haskell-nix"
         ],
         "nixpkgs": [
-          "plutarch-quickcheck",
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
           "plutarch",
           "nixpkgs"
         ]
@@ -3847,35 +3561,6 @@
       }
     },
     "haskell-nix-extra-hackage_7": {
-      "inputs": {
-        "haskell-nix": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
-          "plutarch",
-          "haskell-nix"
-        ],
-        "nixpkgs": [
-          "plutarch-safe-money",
-          "liqwid-plutarch-extra",
-          "plutarch",
-          "nixpkgs"
-        ]
-      },
-      "locked": {
-        "lastModified": 1653405678,
-        "narHash": "sha256-fPpPxuCZDF5b/iQgmUg2jspPObsK0mpcchUti/LR8D0=",
-        "owner": "mlabs-haskell",
-        "repo": "haskell-nix-extra-hackage",
-        "rev": "cf4613eb0d883a8c12c86d7cdbdaaf15fdc70128",
-        "type": "github"
-      },
-      "original": {
-        "owner": "mlabs-haskell",
-        "repo": "haskell-nix-extra-hackage",
-        "type": "github"
-      }
-    },
-    "haskell-nix-extra-hackage_8": {
       "inputs": {
         "haskell-nix": [
           "plutarch-safe-money",
@@ -4088,22 +3773,6 @@
         "type": "github"
       }
     },
-    "haskell-nix_17": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1651151636,
-        "narHash": "sha256-WdMP9IMB5kByT0zimDuCYZF/dinRB104H8iDTG/c1Eo=",
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "rev": "f707aa2e75c0d33473166abc61c0b43ac6e107c0",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "type": "github"
-      }
-    },
     "haskell-nix_2": {
       "flake": false,
       "locked": {
@@ -4327,43 +3996,6 @@
         "type": "github"
       }
     },
-    "haskellNix": {
-      "inputs": {
-        "HTTP": "HTTP_9",
-        "cabal-32": "cabal-32_9",
-        "cabal-34": "cabal-34_9",
-        "cardano-shell": "cardano-shell_9",
-        "flake-utils": "flake-utils_27",
-        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9",
-        "hackage": "hackage_9",
-        "hpc-coveralls": "hpc-coveralls_9",
-        "nix-tools": "nix-tools_9",
-        "nixpkgs": [
-          "purescript-bridge",
-          "haskellNix",
-          "nixpkgs-2105"
-        ],
-        "nixpkgs-2003": "nixpkgs-2003_9",
-        "nixpkgs-2009": "nixpkgs-2009",
-        "nixpkgs-2105": "nixpkgs-2105_9",
-        "nixpkgs-unstable": "nixpkgs-unstable_9",
-        "old-ghc-nix": "old-ghc-nix_9",
-        "stackage": "stackage_9"
-      },
-      "locked": {
-        "lastModified": 1633435111,
-        "narHash": "sha256-0wYA9+2BZXFGj241f4W66nbvP2s+bbikOa39CZQP05A=",
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "rev": "56f22053e647efcad0b5ee9c32334d5d4214bcde",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "type": "github"
-      }
-    },
     "heist": {
       "flake": false,
       "locked": {
@@ -4755,22 +4387,6 @@
         "type": "github"
       }
     },
-    "hpc-coveralls_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1607498076,
-        "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=",
-        "owner": "sevanspowell",
-        "repo": "hpc-coveralls",
-        "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430",
-        "type": "github"
-      },
-      "original": {
-        "owner": "sevanspowell",
-        "repo": "hpc-coveralls",
-        "type": "github"
-      }
-    },
     "hs-memory": {
       "flake": false,
       "locked": {
@@ -5031,11 +4647,11 @@
     "iohk-nix_10": {
       "flake": false,
       "locked": {
-        "lastModified": 1653579289,
-        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
         "type": "github"
       },
       "original": {
@@ -5047,11 +4663,11 @@
     "iohk-nix_11": {
       "flake": false,
       "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
+        "lastModified": 1653579289,
+        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
+        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
         "type": "github"
       },
       "original": {
@@ -5063,11 +4679,11 @@
     "iohk-nix_12": {
       "flake": false,
       "locked": {
-        "lastModified": 1653579289,
-        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
         "type": "github"
       },
       "original": {
@@ -5077,22 +4693,6 @@
       }
     },
     "iohk-nix_13": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "type": "github"
-      }
-    },
-    "iohk-nix_14": {
       "flake": false,
       "locked": {
         "lastModified": 1653579289,
@@ -5108,7 +4708,7 @@
         "type": "github"
       }
     },
-    "iohk-nix_15": {
+    "iohk-nix_14": {
       "flake": false,
       "locked": {
         "lastModified": 1626953580,
@@ -5124,7 +4724,7 @@
         "type": "github"
       }
     },
-    "iohk-nix_16": {
+    "iohk-nix_15": {
       "flake": false,
       "locked": {
         "lastModified": 1643251385,
@@ -5140,23 +4740,7 @@
         "type": "github"
       }
     },
-    "iohk-nix_17": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "type": "github"
-      }
-    },
-    "iohk-nix_18": {
+    "iohk-nix_16": {
       "flake": false,
       "locked": {
         "lastModified": 1626953580,
@@ -5175,11 +4759,11 @@
     "iohk-nix_2": {
       "flake": false,
       "locked": {
-        "lastModified": 1653579289,
-        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
         "type": "github"
       },
       "original": {
@@ -5191,11 +4775,11 @@
     "iohk-nix_3": {
       "flake": false,
       "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
+        "lastModified": 1653579289,
+        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
+        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
         "type": "github"
       },
       "original": {
@@ -5207,11 +4791,11 @@
     "iohk-nix_4": {
       "flake": false,
       "locked": {
-        "lastModified": 1653579289,
-        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
         "type": "github"
       },
       "original": {
@@ -5223,11 +4807,11 @@
     "iohk-nix_5": {
       "flake": false,
       "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
+        "lastModified": 1653579289,
+        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
+        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
         "type": "github"
       },
       "original": {
@@ -5239,11 +4823,11 @@
     "iohk-nix_6": {
       "flake": false,
       "locked": {
-        "lastModified": 1653579289,
-        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "lastModified": 1626953580,
+        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
         "type": "github"
       },
       "original": {
@@ -5253,22 +4837,6 @@
       }
     },
     "iohk-nix_7": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1626953580,
-        "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=",
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "iohk-nix",
-        "type": "github"
-      }
-    },
-    "iohk-nix_8": {
       "flake": false,
       "locked": {
         "lastModified": 1653579289,
@@ -5284,7 +4852,7 @@
         "type": "github"
       }
     },
-    "iohk-nix_9": {
+    "iohk-nix_8": {
       "flake": false,
       "locked": {
         "lastModified": 1626953580,
@@ -5300,6 +4868,22 @@
         "type": "github"
       }
     },
+    "iohk-nix_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653579289,
+        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
     "ixset-typed": {
       "flake": false,
       "locked": {
@@ -5441,7 +5025,7 @@
     },
     "liqwid-plutarch-extra": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_2",
+        "haskell-language-server": "haskell-language-server",
         "haskell-nix": [
           "liqwid-plutarch-extra",
           "plutarch",
@@ -5473,7 +5057,7 @@
     },
     "liqwid-plutarch-extra_2": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_17",
+        "haskell-language-server": "haskell-language-server_16",
         "haskell-nix": [
           "plutarch-safe-money",
           "liqwid-plutarch-extra",
@@ -5766,22 +5350,6 @@
         "type": "github"
       }
     },
-    "nix-tools_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1627889534,
-        "narHash": "sha256-9eEbK2nrRp6rYGQoBv6LO9IA/ANZpofwAkxMuGBD45Y=",
-        "owner": "input-output-hk",
-        "repo": "nix-tools",
-        "rev": "15d2e4b61cb63ff351f3c490c12c4d89eafd31a1",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "nix-tools",
-        "type": "github"
-      }
-    },
     "nix_2": {
       "inputs": {
         "lowdown-src": "lowdown-src_2",
@@ -6052,38 +5620,6 @@
         "type": "github"
       }
     },
-    "nixpkgs-2003_9": {
-      "locked": {
-        "lastModified": 1620055814,
-        "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-20.03-darwin",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs-2009": {
-      "locked": {
-        "lastModified": 1624271064,
-        "narHash": "sha256-qns/uRW7MR2EfVf6VEeLgCsCp7pIOjDeR44JzTF09MA=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "46d1c3f28ca991601a53e9a14fdd53fcd3dd8416",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-20.09-darwin",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
     "nixpkgs-2105": {
       "locked": {
         "lastModified": 1645296114,
@@ -6212,22 +5748,6 @@
         "type": "github"
       }
     },
-    "nixpkgs-2105_9": {
-      "locked": {
-        "lastModified": 1630481079,
-        "narHash": "sha256-leWXLchbAbqOlLT6tju631G40SzQWPqaAXQG3zH1Imw=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "110a2c9ebbf5d4a94486854f18a37a938cfacbbb",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-21.05-darwin",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
     "nixpkgs-2111": {
       "locked": {
         "lastModified": 1654115789,
@@ -6941,22 +6461,6 @@
         "type": "github"
       }
     },
-    "nixpkgs-unstable_9": {
-      "locked": {
-        "lastModified": 1628785280,
-        "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
     "nixpkgs_10": {
       "locked": {
         "lastModified": 1653117584,
@@ -7471,23 +6975,6 @@
         "type": "github"
       }
     },
-    "nixpkgs_40": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1645493675,
-        "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "74b10859829153d5c5d50f7c77b86763759e8654",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
     "nixpkgs_5": {
       "flake": false,
       "locked": {
@@ -7705,23 +7192,6 @@
         "type": "github"
       }
     },
-    "old-ghc-nix_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1631092763,
-        "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=",
-        "owner": "angerman",
-        "repo": "old-ghc-nix",
-        "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8",
-        "type": "github"
-      },
-      "original": {
-        "owner": "angerman",
-        "ref": "master",
-        "repo": "old-ghc-nix",
-        "type": "github"
-      }
-    },
     "pandoc-link-context": {
       "flake": false,
       "locked": {
@@ -7863,16 +7333,16 @@
     },
     "plutarch": {
       "inputs": {
-        "cardano-base": "cardano-base_2",
-        "cardano-crypto": "cardano-crypto_2",
-        "cardano-prelude": "cardano-prelude_2",
+        "cardano-base": "cardano-base",
+        "cardano-crypto": "cardano-crypto",
+        "cardano-prelude": "cardano-prelude",
         "emanote": "emanote",
-        "flat": "flat_2",
-        "haskell-language-server": "haskell-language-server_3",
+        "flat": "flat",
+        "haskell-language-server": "haskell-language-server_2",
         "haskell-nix": "haskell-nix",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_2",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage",
         "hercules-ci-effects": "hercules-ci-effects",
-        "iohk-nix": "iohk-nix_2",
+        "iohk-nix": "iohk-nix",
         "nixpkgs": [
           "liqwid-plutarch-extra",
           "plutarch",
@@ -7901,7 +7371,7 @@
     },
     "plutarch-context-builder": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_7",
+        "haskell-language-server": "haskell-language-server_6",
         "haskell-nix": [
           "plutarch-context-builder",
           "plutarch",
@@ -7933,7 +7403,7 @@
     },
     "plutarch-numeric": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_10",
+        "haskell-language-server": "haskell-language-server_9",
         "haskell-nix": [
           "plutarch-numeric",
           "plutarch",
@@ -7997,7 +7467,7 @@
     },
     "plutarch-quickcheck": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_13",
+        "haskell-language-server": "haskell-language-server_12",
         "haskell-nix": [
           "plutarch-quickcheck",
           "plutarch",
@@ -8013,11 +7483,11 @@
         "plutarch": "plutarch_5"
       },
       "locked": {
-        "lastModified": 1654196898,
-        "narHash": "sha256-+YJKkOtba6Ax+6XnrKR6kjMYeqcowyP546z70tm8rEw=",
+        "lastModified": 1654286126,
+        "narHash": "sha256-6Pd410I03CetLM4YYrJmMldOYDyqGPATlmorhKKWU0Q=",
         "owner": "liqwid-labs",
         "repo": "plutarch-quickcheck",
-        "rev": "c74c590d1f56e59611f18cab7925ca8357dcc9df",
+        "rev": "d9cffca0fc29dbc21ba295d2690850298a930285",
         "type": "github"
       },
       "original": {
@@ -8029,7 +7499,7 @@
     },
     "plutarch-safe-money": {
       "inputs": {
-        "haskell-language-server": "haskell-language-server_16",
+        "haskell-language-server": "haskell-language-server_15",
         "haskell-nix": [
           "plutarch-safe-money",
           "plutarch",
@@ -8063,20 +7533,20 @@
     },
     "plutarch_2": {
       "inputs": {
-        "cardano-base": "cardano-base_3",
-        "cardano-crypto": "cardano-crypto_3",
-        "cardano-prelude": "cardano-prelude_3",
+        "cardano-base": "cardano-base_2",
+        "cardano-crypto": "cardano-crypto_2",
+        "cardano-prelude": "cardano-prelude_2",
         "emanote": [
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
         ],
-        "flat": "flat_3",
-        "haskell-language-server": "haskell-language-server_5",
+        "flat": "flat_2",
+        "haskell-language-server": "haskell-language-server_4",
         "haskell-nix": "haskell-nix_3",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_3",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_2",
         "hercules-ci-effects": "hercules-ci-effects_2",
-        "iohk-nix": "iohk-nix_4",
+        "iohk-nix": "iohk-nix_3",
         "nixpkgs": [
           "plutarch",
           "haskell-nix",
@@ -8104,16 +7574,16 @@
     },
     "plutarch_3": {
       "inputs": {
-        "cardano-base": "cardano-base_4",
-        "cardano-crypto": "cardano-crypto_4",
-        "cardano-prelude": "cardano-prelude_4",
+        "cardano-base": "cardano-base_3",
+        "cardano-crypto": "cardano-crypto_3",
+        "cardano-prelude": "cardano-prelude_3",
         "emanote": "emanote_2",
-        "flat": "flat_4",
-        "haskell-language-server": "haskell-language-server_8",
+        "flat": "flat_3",
+        "haskell-language-server": "haskell-language-server_7",
         "haskell-nix": "haskell-nix_5",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_4",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_3",
         "hercules-ci-effects": "hercules-ci-effects_3",
-        "iohk-nix": "iohk-nix_6",
+        "iohk-nix": "iohk-nix_5",
         "nixpkgs": [
           "plutarch-context-builder",
           "plutarch",
@@ -8142,16 +7612,16 @@
     },
     "plutarch_4": {
       "inputs": {
-        "cardano-base": "cardano-base_5",
-        "cardano-crypto": "cardano-crypto_5",
-        "cardano-prelude": "cardano-prelude_5",
+        "cardano-base": "cardano-base_4",
+        "cardano-crypto": "cardano-crypto_4",
+        "cardano-prelude": "cardano-prelude_4",
         "emanote": "emanote_3",
-        "flat": "flat_5",
-        "haskell-language-server": "haskell-language-server_11",
+        "flat": "flat_4",
+        "haskell-language-server": "haskell-language-server_10",
         "haskell-nix": "haskell-nix_7",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_4",
         "hercules-ci-effects": "hercules-ci-effects_4",
-        "iohk-nix": "iohk-nix_8",
+        "iohk-nix": "iohk-nix_7",
         "nixpkgs": [
           "plutarch-numeric",
           "plutarch",
@@ -8180,16 +7650,16 @@
     },
     "plutarch_5": {
       "inputs": {
-        "cardano-base": "cardano-base_6",
-        "cardano-crypto": "cardano-crypto_6",
-        "cardano-prelude": "cardano-prelude_6",
+        "cardano-base": "cardano-base_5",
+        "cardano-crypto": "cardano-crypto_5",
+        "cardano-prelude": "cardano-prelude_5",
         "emanote": "emanote_4",
-        "flat": "flat_6",
-        "haskell-language-server": "haskell-language-server_14",
+        "flat": "flat_5",
+        "haskell-language-server": "haskell-language-server_13",
         "haskell-nix": "haskell-nix_9",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_6",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5",
         "hercules-ci-effects": "hercules-ci-effects_5",
-        "iohk-nix": "iohk-nix_10",
+        "iohk-nix": "iohk-nix_9",
         "nixpkgs": [
           "plutarch-quickcheck",
           "plutarch",
@@ -8218,16 +7688,16 @@
     },
     "plutarch_6": {
       "inputs": {
-        "cardano-base": "cardano-base_7",
-        "cardano-crypto": "cardano-crypto_7",
-        "cardano-prelude": "cardano-prelude_7",
+        "cardano-base": "cardano-base_6",
+        "cardano-crypto": "cardano-crypto_6",
+        "cardano-prelude": "cardano-prelude_6",
         "emanote": "emanote_5",
-        "flat": "flat_7",
-        "haskell-language-server": "haskell-language-server_18",
+        "flat": "flat_6",
+        "haskell-language-server": "haskell-language-server_17",
         "haskell-nix": "haskell-nix_11",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_7",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_6",
         "hercules-ci-effects": "hercules-ci-effects_6",
-        "iohk-nix": "iohk-nix_12",
+        "iohk-nix": "iohk-nix_11",
         "nixpkgs": [
           "plutarch-safe-money",
           "liqwid-plutarch-extra",
@@ -8257,16 +7727,16 @@
     },
     "plutarch_7": {
       "inputs": {
-        "cardano-base": "cardano-base_8",
-        "cardano-crypto": "cardano-crypto_8",
-        "cardano-prelude": "cardano-prelude_8",
+        "cardano-base": "cardano-base_7",
+        "cardano-crypto": "cardano-crypto_7",
+        "cardano-prelude": "cardano-prelude_7",
         "emanote": "emanote_6",
-        "flat": "flat_8",
-        "haskell-language-server": "haskell-language-server_20",
+        "flat": "flat_7",
+        "haskell-language-server": "haskell-language-server_19",
         "haskell-nix": "haskell-nix_13",
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_8",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_7",
         "hercules-ci-effects": "hercules-ci-effects_7",
-        "iohk-nix": "iohk-nix_14",
+        "iohk-nix": "iohk-nix_13",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch",
@@ -8296,21 +7766,21 @@
     "plutarch_8": {
       "inputs": {
         "Shrinker": "Shrinker",
-        "cardano-base": "cardano-base_9",
-        "cardano-crypto": "cardano-crypto_9",
-        "cardano-prelude": "cardano-prelude_9",
+        "cardano-base": "cardano-base_8",
+        "cardano-crypto": "cardano-crypto_8",
+        "cardano-prelude": "cardano-prelude_8",
         "cryptonite": "cryptonite",
         "emanote": "emanote_7",
-        "flat": "flat_9",
+        "flat": "flat_8",
         "foundation": "foundation",
-        "haskell-language-server": "haskell-language-server_22",
+        "haskell-language-server": "haskell-language-server_21",
         "haskell-nix": "haskell-nix_15",
         "hercules-ci-effects": "hercules-ci-effects_8",
         "hs-memory": "hs-memory",
         "hspec": "hspec",
         "hspec-golden": "hspec-golden",
         "hspec-hedgehog": "hspec-hedgehog",
-        "iohk-nix": "iohk-nix_16",
+        "iohk-nix": "iohk-nix_15",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -8343,9 +7813,9 @@
         "cardano-repo-tool": "cardano-repo-tool",
         "gitignore-nix": "gitignore-nix",
         "hackage-nix": "hackage-nix",
-        "haskell-language-server": "haskell-language-server_4",
+        "haskell-language-server": "haskell-language-server_3",
         "haskell-nix": "haskell-nix_2",
-        "iohk-nix": "iohk-nix_3",
+        "iohk-nix": "iohk-nix_2",
         "nixpkgs": "nixpkgs_5",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock"
@@ -8369,9 +7839,9 @@
         "cardano-repo-tool": "cardano-repo-tool_2",
         "gitignore-nix": "gitignore-nix_2",
         "hackage-nix": "hackage-nix_2",
-        "haskell-language-server": "haskell-language-server_6",
+        "haskell-language-server": "haskell-language-server_5",
         "haskell-nix": "haskell-nix_4",
-        "iohk-nix": "iohk-nix_5",
+        "iohk-nix": "iohk-nix_4",
         "nixpkgs": "nixpkgs_8",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_2",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_2"
@@ -8395,9 +7865,9 @@
         "cardano-repo-tool": "cardano-repo-tool_3",
         "gitignore-nix": "gitignore-nix_3",
         "hackage-nix": "hackage-nix_3",
-        "haskell-language-server": "haskell-language-server_9",
+        "haskell-language-server": "haskell-language-server_8",
         "haskell-nix": "haskell-nix_6",
-        "iohk-nix": "iohk-nix_7",
+        "iohk-nix": "iohk-nix_6",
         "nixpkgs": "nixpkgs_13",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_3",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_3"
@@ -8421,9 +7891,9 @@
         "cardano-repo-tool": "cardano-repo-tool_4",
         "gitignore-nix": "gitignore-nix_4",
         "hackage-nix": "hackage-nix_4",
-        "haskell-language-server": "haskell-language-server_12",
+        "haskell-language-server": "haskell-language-server_11",
         "haskell-nix": "haskell-nix_8",
-        "iohk-nix": "iohk-nix_9",
+        "iohk-nix": "iohk-nix_8",
         "nixpkgs": "nixpkgs_18",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_4",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_4"
@@ -8447,9 +7917,9 @@
         "cardano-repo-tool": "cardano-repo-tool_5",
         "gitignore-nix": "gitignore-nix_5",
         "hackage-nix": "hackage-nix_5",
-        "haskell-language-server": "haskell-language-server_15",
+        "haskell-language-server": "haskell-language-server_14",
         "haskell-nix": "haskell-nix_10",
-        "iohk-nix": "iohk-nix_11",
+        "iohk-nix": "iohk-nix_10",
         "nixpkgs": "nixpkgs_23",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_5",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_5"
@@ -8473,9 +7943,9 @@
         "cardano-repo-tool": "cardano-repo-tool_6",
         "gitignore-nix": "gitignore-nix_6",
         "hackage-nix": "hackage-nix_6",
-        "haskell-language-server": "haskell-language-server_19",
+        "haskell-language-server": "haskell-language-server_18",
         "haskell-nix": "haskell-nix_12",
-        "iohk-nix": "iohk-nix_13",
+        "iohk-nix": "iohk-nix_12",
         "nixpkgs": "nixpkgs_28",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_6",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_6"
@@ -8499,9 +7969,9 @@
         "cardano-repo-tool": "cardano-repo-tool_7",
         "gitignore-nix": "gitignore-nix_7",
         "hackage-nix": "hackage-nix_7",
-        "haskell-language-server": "haskell-language-server_21",
+        "haskell-language-server": "haskell-language-server_20",
         "haskell-nix": "haskell-nix_14",
-        "iohk-nix": "iohk-nix_15",
+        "iohk-nix": "iohk-nix_14",
         "nixpkgs": "nixpkgs_33",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_7",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_7"
@@ -8525,9 +7995,9 @@
         "cardano-repo-tool": "cardano-repo-tool_8",
         "gitignore-nix": "gitignore-nix_8",
         "hackage-nix": "hackage-nix_8",
-        "haskell-language-server": "haskell-language-server_23",
+        "haskell-language-server": "haskell-language-server_22",
         "haskell-nix": "haskell-nix_16",
-        "iohk-nix": "iohk-nix_17",
+        "iohk-nix": "iohk-nix_16",
         "nixpkgs": "nixpkgs_39",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_8",
         "sphinxcontrib-haddock": "sphinxcontrib-haddock_8",
@@ -8548,32 +8018,6 @@
         "type": "github"
       }
     },
-    "plutus_9": {
-      "inputs": {
-        "cardano-repo-tool": "cardano-repo-tool_9",
-        "gitignore-nix": "gitignore-nix_9",
-        "hackage-nix": "hackage-nix_9",
-        "haskell-language-server": "haskell-language-server_24",
-        "haskell-nix": "haskell-nix_17",
-        "iohk-nix": "iohk-nix_18",
-        "nixpkgs": "nixpkgs_40",
-        "pre-commit-hooks-nix": "pre-commit-hooks-nix_9",
-        "sphinxcontrib-haddock": "sphinxcontrib-haddock_9"
-      },
-      "locked": {
-        "lastModified": 1654109587,
-        "narHash": "sha256-VE/wBrv12np22KneLo4I5p+09zH8eQqqxypeecgAdJg=",
-        "owner": "input-output-hk",
-        "repo": "plutus",
-        "rev": "bc08390fa887792320a9692f6a0bfeffa9bceb2f",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "plutus",
-        "type": "github"
-      }
-    },
     "pre-commit-hooks-nix": {
       "flake": false,
       "locked": {
@@ -8702,22 +8146,6 @@
         "type": "github"
       }
     },
-    "pre-commit-hooks-nix_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1624971177,
-        "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=",
-        "owner": "cachix",
-        "repo": "pre-commit-hooks.nix",
-        "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb",
-        "type": "github"
-      },
-      "original": {
-        "owner": "cachix",
-        "repo": "pre-commit-hooks.nix",
-        "type": "github"
-      }
-    },
     "protolude": {
       "flake": false,
       "locked": {
@@ -8847,61 +8275,12 @@
         "type": "github"
       }
     },
-    "protolude_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1647139352,
-        "narHash": "sha256-JyHAQfTTUswP8MeGEZibx/2/v01Q7cU5mNpnmDazh24=",
-        "owner": "protolude",
-        "repo": "protolude",
-        "rev": "3e249724fd0ead27370c8c297b1ecd38f92cbd5b",
-        "type": "github"
-      },
-      "original": {
-        "owner": "protolude",
-        "repo": "protolude",
-        "type": "github"
-      }
-    },
-    "purescript-bridge": {
-      "inputs": {
-        "easy-ps": "easy-ps",
-        "flake-utils": "flake-utils_26",
-        "haskellNix": "haskellNix",
-        "nixpkgs": [
-          "purescript-bridge",
-          "haskellNix",
-          "nixpkgs-unstable"
-        ]
-      },
-      "locked": {
-        "lastModified": 1649710083,
-        "narHash": "sha256-jd+HN/FUmmXnRy+VXT5G0y9l4YThHCIWuluxWFIffnE=",
-        "owner": "mlabs-haskell",
-        "repo": "purescript-bridge",
-        "rev": "8e6251e8b1f489748f5bbd9ca6384bcf8cefbbef",
-        "type": "github"
-      },
-      "original": {
-        "owner": "mlabs-haskell",
-        "repo": "purescript-bridge",
-        "rev": "8e6251e8b1f489748f5bbd9ca6384bcf8cefbbef",
-        "type": "github"
-      }
-    },
     "root": {
       "inputs": {
-        "cardano-base": "cardano-base",
-        "cardano-crypto": "cardano-crypto",
-        "cardano-prelude": "cardano-prelude",
-        "flat": "flat",
-        "haskell-language-server": "haskell-language-server",
         "haskell-nix": [
           "plutarch",
           "haskell-nix"
         ],
-        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage",
-        "iohk-nix": "iohk-nix",
         "liqwid-plutarch-extra": "liqwid-plutarch-extra",
         "nixpkgs": [
           "plutarch",
@@ -8913,11 +8292,7 @@
         "plutarch-context-builder": "plutarch-context-builder",
         "plutarch-numeric": "plutarch-numeric",
         "plutarch-quickcheck": "plutarch-quickcheck",
-        "plutarch-safe-money": "plutarch-safe-money",
-        "plutus": "plutus_9",
-        "protolude": "protolude_9",
-        "purescript-bridge": "purescript-bridge",
-        "secp256k1-haskell": "secp256k1-haskell_8"
+        "plutarch-safe-money": "plutarch-safe-money"
       }
     },
     "secp256k1-haskell": {
@@ -9032,22 +8407,6 @@
         "type": "github"
       }
     },
-    "secp256k1-haskell_8": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1650290419,
-        "narHash": "sha256-XrjiqCC7cNTFib78gdMPGNettAkwAxQlbC/n+/mRFt4=",
-        "owner": "haskoin",
-        "repo": "secp256k1-haskell",
-        "rev": "3df963ab6ae14ec122691a97af09a7331511a387",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskoin",
-        "repo": "secp256k1-haskell",
-        "type": "github"
-      }
-    },
     "sized-functors": {
       "flake": false,
       "locked": {
@@ -9193,22 +8552,6 @@
         "type": "github"
       }
     },
-    "sphinxcontrib-haddock_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1594136664,
-        "narHash": "sha256-O9YT3iCUBHP3CEF88VDLLCO2HSP3HqkNA2q2939RnVY=",
-        "owner": "michaelpj",
-        "repo": "sphinxcontrib-haddock",
-        "rev": "f3956b3256962b2d27d5a4e96edb7951acf5de34",
-        "type": "github"
-      },
-      "original": {
-        "owner": "michaelpj",
-        "repo": "sphinxcontrib-haddock",
-        "type": "github"
-      }
-    },
     "stackage": {
       "flake": false,
       "locked": {
@@ -9353,22 +8696,6 @@
         "type": "github"
       }
     },
-    "stackage_9": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1633224172,
-        "narHash": "sha256-Hw2jWJiS6ky0D5BhSyaw5PItzmTpRni4BUcCJmbESWk=",
-        "owner": "input-output-hk",
-        "repo": "stackage.nix",
-        "rev": "948c9bde3d0b3aa452e0b19c34ae6385ac563160",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "stackage.nix",
-        "type": "github"
-      }
-    },
     "tailwind-haskell": {
       "inputs": {
         "ema": [
diff --git a/flake.nix b/flake.nix
index afa804b..dd07dcb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,14 +8,6 @@
   # see https://github.com/NixOS/nix/issues/6013
   inputs.nixpkgs-2111 = { url = "github:NixOS/nixpkgs/nixpkgs-21.11-darwin"; };
 
-
-  inputs.haskell-nix-extra-hackage.url = "github:mlabs-haskell/haskell-nix-extra-hackage";
-  inputs.haskell-nix-extra-hackage.inputs.haskell-nix.follows = "haskell-nix";
-  inputs.haskell-nix-extra-hackage.inputs.nixpkgs.follows = "nixpkgs";
-
-  inputs.iohk-nix.url = "github:input-output-hk/iohk-nix";
-  inputs.iohk-nix.flake = false;
-
   # Plutarch and its friends
   inputs.plutarch.url =
     "github:liqwid-labs/plutarch/staging";
@@ -31,41 +23,13 @@
   inputs.plutarch-safe-money.url =
     "git+ssh://git@github.com/Liqwid-Labs/plutarch-safe-money?ref=emiflake/bump-plutarch-nix";
 
-
-  # Testing 
+  # Testing
   inputs.plutarch-quickcheck.url =
     "github:liqwid-labs/plutarch-quickcheck?ref=emiflake/bump-plutarch";
   inputs.plutarch-context-builder.url =
     "git+ssh://git@github.com/Liqwid-Labs/plutarch-context-builder?ref=emiflake/bump-plutarch";
 
-  # Purescript
-  inputs.purescript-bridge.url =
-    "github:mlabs-haskell/purescript-bridge?rev=8e6251e8b1f489748f5bbd9ca6384bcf8cefbbef";
-
-  # we use sphinxcontrib-haddock input
-  inputs.plutus.url = "github:input-output-hk/plutus";
-  # https://github.com/input-output-hk/cardano-prelude/pull/163
-  inputs.cardano-prelude.url = "github:mlabs-haskell/cardano-prelude?rev=713c7ae79a4d538fcd653c976a652913df1567b9";
-  inputs.cardano-prelude.flake = false;
-  inputs.cardano-base.url = "github:input-output-hk/cardano-base";
-  inputs.cardano-base.flake = false;
-  inputs.cardano-crypto.url = "github:input-output-hk/cardano-crypto?rev=07397f0e50da97eaa0575d93bee7ac4b2b2576ec";
-  inputs.cardano-crypto.flake = false;
-  inputs.haskell-language-server.url = "github:haskell/haskell-language-server";
-  inputs.haskell-language-server.flake = false;
-
-  inputs.secp256k1-haskell.url = "github:haskoin/secp256k1-haskell";
-  inputs.secp256k1-haskell.flake = false;
-
-  # https://github.com/protolude/protolude/pull/133#issuecomment-1112150422 RC not uploaded to hackage yet...
-  inputs.protolude.url = "github:protolude/protolude";
-  inputs.protolude.flake = false;
-
-  # 0.4.5 hasn't been published to Hackage...
-  inputs.flat.url = "github:Quid2/flat";
-  inputs.flat.flake = false;
-
-  outputs = inputs@{ self, nixpkgs, nixpkgs-latest, haskell-nix, plutarch, purescript-bridge, haskell-nix-extra-hackage, iohk-nix, ... }:
+  outputs = inputs@{ self, nixpkgs, nixpkgs-latest, haskell-nix, plutarch, ... }:
     let
       supportedSystems = nixpkgs-latest.lib.systems.flakeExposed;
 
@@ -73,7 +37,7 @@
 
       pkgsFor = system: import nixpkgs {
         inherit system;
-        overlays = [ haskell-nix.overlay (import "${iohk-nix}/overlays/crypto") ];
+        overlays = [ haskell-nix.overlay (import "${plutarch.inputs.iohk-nix}/overlays/crypto") ];
         # This only does bad things for us...
         # inherit (haskell-nix) config;
       };
@@ -82,7 +46,6 @@
       fourmoluFor = system: (pkgsFor' system).haskell.packages.ghc922.fourmolu_0_6_0_0;
 
       defaultGhcVersion = "ghc923";
-      isGhc9 = x: builtins.trace "Checking whether ${x} is GHC 9.*" (builtins.substring 3 1 x == "9");
 
       nonReinstallablePkgs = [
         "array"
@@ -149,21 +112,21 @@
         })
       ];
 
-      myhackage = system: compiler-nix-name: haskell-nix-extra-hackage.mkHackageFor system compiler-nix-name (
+      myhackage = system: compiler-nix-name: plutarch.inputs.haskell-nix-extra-hackage.mkHackageFor system compiler-nix-name (
         [
-          "${inputs.flat}"
-          "${inputs.protolude}"
-          "${inputs.cardano-prelude}/cardano-prelude"
-          "${inputs.cardano-crypto}"
-          "${inputs.cardano-base}/binary"
-          "${inputs.cardano-base}/cardano-crypto-class"
-          "${inputs.plutus}/plutus-core"
-          "${inputs.plutus}/plutus-ledger-api"
-          "${inputs.plutus}/plutus-tx"
-          "${inputs.plutus}/prettyprinter-configurable"
-          "${inputs.plutus}/word-array"
-          "${inputs.secp256k1-haskell}"
-          "${inputs.plutus}/plutus-tx-plugin" # necessary for FFI tests
+          "${inputs.plutarch.inputs.flat}"
+          "${inputs.plutarch.inputs.protolude}"
+          "${inputs.plutarch.inputs.cardano-prelude}/cardano-prelude"
+          "${inputs.plutarch.inputs.cardano-crypto}"
+          "${inputs.plutarch.inputs.cardano-base}/binary"
+          "${inputs.plutarch.inputs.cardano-base}/cardano-crypto-class"
+          "${inputs.plutarch.inputs.plutus}/plutus-core"
+          "${inputs.plutarch.inputs.plutus}/plutus-ledger-api"
+          "${inputs.plutarch.inputs.plutus}/plutus-tx"
+          "${inputs.plutarch.inputs.plutus}/prettyprinter-configurable"
+          "${inputs.plutarch.inputs.plutus}/word-array"
+          "${inputs.plutarch.inputs.secp256k1-haskell}"
+          "${inputs.plutarch.inputs.plutus}/plutus-tx-plugin" # necessary for FFI tests
 
           # Custom deps as a consumer
           "${inputs.plutarch}"
@@ -176,204 +139,18 @@
         ]
       );
 
-      applyPlutarchDep = pkgs: o:
+      applyDep = pkgs: o:
         let h = myhackage pkgs.system o.compiler-nix-name; in
-        o // {
+        (plutarch.applyPlutarchDep pkgs o) // {
           modules = haskellModules ++ [ h.module ] ++ (o.modules or [ ]);
           extra-hackages = [ (import h.hackageNix) ] ++ (o.extra-hackages or [ ]);
           extra-hackage-tarballs = { _xNJUd_plutarch-hackage = h.hackageTarball; } // (o.extra-hackage-tarballs or { });
-          cabalProjectLocal = (o.cabalProjectLocal or "") + (
-            ''
-              allow-newer:
-                cardano-binary:base
-                , cardano-crypto-class:base
-                , cardano-prelude:base
-                , canonical-json:bytestring
-                , plutus-core:ral
-                , plutus-core:some
-                , int-cast:base
-                , inline-r:singletons
-              constraints:
-                OneTuple >= 0.3.1
-                , Only >= 0.1
-                , QuickCheck >= 2.14.2
-                , StateVar >= 1.2.2
-                , Stream >= 0.4.7.2
-                , adjunctions >= 4.4
-                , aeson >= 2.0.3.0
-                , algebraic-graphs >= 0.6
-                , ansi-terminal >= 0.11.1
-                , ansi-wl-pprint >= 0.6.9
-                , assoc >= 1.0.2
-                , async >= 2.2.4
-                , attoparsec >= 0.14.4
-                , barbies >= 2.0.3.1
-                , base-compat >= 0.12.1
-                , base-compat-batteries >= 0.12.1
-                , base-orphans >= 0.8.6
-                , base16-bytestring >= 1.0.2.0
-                , basement >= 0.0.12
-                , bifunctors >= 5.5.11
-                , bimap >= 0.4.0
-                , bin >= 0.1.2
-                , boring >= 0.2
-                , boxes >= 0.1.5
-                , cabal-doctest >= 1.0.9
-                , call-stack >= 0.4.0
-                , canonical-json >= 0.6.0.0
-                , cardano-binary >= 1.5.0
-                , cardano-crypto >= 1.1.0
-                , cardano-crypto-class >= 2.0.0
-                , cardano-prelude >= 0.1.0.0
-                , case-insensitive >= 1.2.1.0
-                , cassava >= 0.5.2.0
-                , cborg >= 0.2.6.0
-                , clock >= 0.8.2
-                , colour >= 2.3.6
-                , comonad >= 5.0.8
-                , composition-prelude >= 3.0.0.2
-                , concurrent-output >= 1.10.14
-                , constraints >= 0.13.2
-                , constraints-extras >= 0.3.2.1
-                , contravariant >= 1.5.5
-                , cryptonite >= 0.29
-                , data-default >= 0.7.1.1
-                , data-default-class >= 0.1.2.0
-                , data-default-instances-containers >= 0.0.1
-                , data-default-instances-dlist >= 0.0.1
-                , data-default-instances-old-locale >= 0.0.1
-                , data-fix >= 0.3.2
-                , dec >= 0.0.4
-                , dependent-map >= 0.4.0.0
-                , dependent-sum >= 0.7.1.0
-                , dependent-sum-template >= 0.1.1.1
-                , deriving-aeson >= 0.2.8
-                , deriving-compat >= 0.6
-                , dictionary-sharing >= 0.1.0.0
-                , distributive >= 0.6.2.1
-                , dlist >= 1.0
-                , dom-lt >= 0.2.3
-                , double-conversion >= 2.0.2.0
-                , erf >= 2.0.0.0
-                , exceptions >= 0.10.4
-                , extra >= 1.7.10
-                , fin >= 0.2.1
-                , flat >= 0.4.5
-                , foldl >= 1.4.12
-                , formatting >= 7.1.3
-                , foundation >= 0.0.26.1
-                , free >= 5.1.7
-                , half >= 0.3.1
-                , hashable >= 1.4.0.2
-                , haskell-lexer >= 1.1
-                , hedgehog >= 1.0.5
-                , indexed-traversable >= 0.1.2
-                , indexed-traversable-instances >= 0.1.1
-                , integer-logarithms >= 1.0.3.1
-                , invariant >= 0.5.5
-                , kan-extensions >= 5.2.3
-                , lazy-search >= 0.1.2.1
-                , lazysmallcheck >= 0.6
-                , lens >= 5.1
-                , lifted-async >= 0.10.2.2
-                , lifted-base >= 0.2.3.12
-                , list-t >= 1.0.5.1
-                , logict >= 0.7.0.3
-                , megaparsec >= 9.2.0
-                , memory >= 0.16.0
-                , microlens >= 0.4.12.0
-                , mmorph >= 1.2.0
-                , monad-control >= 1.0.3.1
-                , mono-traversable >= 1.0.15.3
-                , monoidal-containers >= 0.6.2.0
-                , mtl-compat >= 0.2.2
-                , newtype >= 0.2.2.0
-                , newtype-generics >= 0.6.1
-                , nothunks >= 0.1.3
-                , old-locale >= 1.0.0.7
-                , old-time >= 1.1.0.3
-                , optparse-applicative >= 0.16.1.0
-                , parallel >= 3.2.2.0
-                , parser-combinators >= 1.3.0
-                , plutus-core >= 0.1.0.0
-                , plutus-ledger-api >= 0.1.0.0
-                , plutus-tx >= 0.1.0.0
-                , pretty-show >= 1.10
-                , prettyprinter >= 1.7.1
-                , prettyprinter-configurable >= 0.1.0.0
-                , primitive >= 0.7.3.0
-                , profunctors >= 5.6.2
-                , protolude >= 0.3.0
-                , quickcheck-instances >= 0.3.27
-                , ral >= 0.2.1
-                , random >= 1.2.1
-                , rank2classes >= 1.4.4
-                , recursion-schemes >= 5.2.2.2
-                , reflection >= 2.1.6
-                , resourcet >= 1.2.4.3
-                , safe >= 0.3.19
-                , safe-exceptions >= 0.1.7.2
-                , scientific >= 0.3.7.0
-                , semialign >= 1.2.0.1
-                , semigroupoids >= 5.3.7
-                , semigroups >= 0.20
-                , serialise >= 0.2.4.0
-                , size-based >= 0.1.2.0
-                , some >= 1.0.3
-                , split >= 0.2.3.4
-                , splitmix >= 0.1.0.4
-                , stm >= 2.5.0.0
-                , strict >= 0.4.0.1
-                , syb >= 0.7.2.1
-                , tagged >= 0.8.6.1
-                , tasty >= 1.4.2.1
-                , tasty-golden >= 2.3.5
-                , tasty-hedgehog >= 1.1.0.0
-                , tasty-hunit >= 0.10.0.3
-                , temporary >= 1.3
-                , terminal-size >= 0.3.2.1
-                , testing-type-modifiers >= 0.1.0.1
-                , text-short >= 0.1.5
-                , th-abstraction >= 0.4.3.0
-                , th-compat >= 0.1.3
-                , th-expand-syns >= 0.4.9.0
-                , th-extras >= 0.0.0.6
-                , th-lift >= 0.8.2
-                , th-lift-instances >= 0.1.19
-                , th-orphans >= 0.13.12
-                , th-reify-many >= 0.1.10
-                , th-utilities >= 0.2.4.3
-                , these >= 1.1.1.1
-                , time-compat >= 1.9.6.1
-                , transformers-base >= 0.4.6
-                , transformers-compat >= 0.7.1
-                , type-equality >= 1
-                , typed-process >= 0.2.8.0
-                , unbounded-delays >= 0.1.1.1
-                , universe-base >= 1.1.3
-                , unliftio-core >= 0.2.0.1
-                , unordered-containers >= 0.2.16.0
-                , uuid-types >= 1.0.5
-                , vector >= 0.12.3.1
-                , vector-algorithms >= 0.8.0.4
-                , void >= 0.7.3
-                , wcwidth >= 0.0.2
-                , witherable >= 0.4.2
-                , wl-pprint-annotated >= 0.1.0.1
-                , word-array >= 0.1.0.0
-                , secp256k1-haskell >= 0.6
-                , inline-r >= 0.10.5
-
-                , plutarch-extra >= 1.0.0
-                , plutarch-quickcheck >= 1.0.0
-            ''
-          );
         };
 
       projectForGhc = compiler-nix-name: system:
         let pkgs = pkgsFor system; in
         let pkgs' = pkgsFor' system; in
-        let pkgSet = pkgs.haskell-nix.cabalProject' (applyPlutarchDep pkgs {
+        let pkgSet = pkgs.haskell-nix.cabalProject' (applyDep pkgs {
           src = ./.;
           inherit compiler-nix-name;
           modules = [ ];
@@ -397,7 +174,6 @@
         pkgSet;
 
       projectFor = projectForGhc defaultGhcVersion;
-      projectFor810 = projectForGhc "ghc8107";
 
       formatCheckFor = system:
         let