diff --git a/flake.lock b/flake.lock
index 3d7df91..bc60c44 100644
--- a/flake.lock
+++ b/flake.lock
@@ -16,6 +16,22 @@
         "type": "github"
       }
     },
+    "HTTP_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1451647621,
+        "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=",
+        "owner": "phadej",
+        "repo": "HTTP",
+        "rev": "9bc0996d412fef1787449d841277ef663ad9a915",
+        "type": "github"
+      },
+      "original": {
+        "owner": "phadej",
+        "repo": "HTTP",
+        "type": "github"
+      }
+    },
     "HTTP_2": {
       "flake": false,
       "locked": {
@@ -177,6 +193,23 @@
         "type": "github"
       }
     },
+    "cabal-32_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1603716527,
+        "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.2",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cabal-32_2": {
       "flake": false,
       "locked": {
@@ -330,6 +363,23 @@
         "type": "github"
       }
     },
+    "cabal-34_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1640353650,
+        "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.4",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cabal-34_2": {
       "flake": false,
       "locked": {
@@ -483,6 +533,23 @@
         "type": "github"
       }
     },
+    "cabal-36_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641652457,
+        "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=",
+        "owner": "haskell",
+        "repo": "cabal",
+        "rev": "f27667f8ec360c475027dcaee0138c937477b070",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "ref": "3.6",
+        "repo": "cabal",
+        "type": "github"
+      }
+    },
     "cabal-36_2": {
       "flake": false,
       "locked": {
@@ -635,6 +702,22 @@
         "type": "github"
       }
     },
+    "cardano-base_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1638456794,
+        "narHash": "sha256-0KAO6dWqupJzRyjWjAFLZrt0hA6pozeKsDv1Fnysib8=",
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "rev": "4fae3f0149fd8925be94707d3ae0e36c0d67bd58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "cardano-base",
+        "type": "github"
+      }
+    },
     "cardano-base_2": {
       "flake": false,
       "locked": {
@@ -750,11 +833,11 @@
     "cardano-base_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1638456794,
-        "narHash": "sha256-0KAO6dWqupJzRyjWjAFLZrt0hA6pozeKsDv1Fnysib8=",
+        "lastModified": 1652788515,
+        "narHash": "sha256-l0KgomRi6YhEoOlFnBYEXhnZO2+PW68rhfUrbMXjhCQ=",
         "owner": "input-output-hk",
         "repo": "cardano-base",
-        "rev": "4fae3f0149fd8925be94707d3ae0e36c0d67bd58",
+        "rev": "631cb6cf1fa01ab346233b610a38b3b4cba6e6ab",
         "type": "github"
       },
       "original": {
@@ -780,6 +863,23 @@
         "type": "github"
       }
     },
+    "cardano-crypto_10": {
+      "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-crypto_2": {
       "flake": false,
       "locked": {
@@ -933,6 +1033,23 @@
         "type": "github"
       }
     },
+    "cardano-prelude_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641566029,
+        "narHash": "sha256-CylaHhO4zbZ1dEAv8yWp1swP1xys/s2Sbxg3a2pdnCI=",
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "locallycompact",
+        "repo": "cardano-prelude",
+        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "type": "github"
+      }
+    },
     "cardano-prelude_2": {
       "flake": false,
       "locked": {
@@ -1055,17 +1172,17 @@
     "cardano-prelude_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1641566029,
-        "narHash": "sha256-CylaHhO4zbZ1dEAv8yWp1swP1xys/s2Sbxg3a2pdnCI=",
-        "owner": "locallycompact",
+        "lastModified": 1653997332,
+        "narHash": "sha256-E+YSfUsvxdoOr7n7fz4xd7zb4z8XBRGNYOKipc2A1pw=",
+        "owner": "mlabs-haskell",
         "repo": "cardano-prelude",
-        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "rev": "713c7ae79a4d538fcd653c976a652913df1567b9",
         "type": "github"
       },
       "original": {
-        "owner": "locallycompact",
+        "owner": "mlabs-haskell",
         "repo": "cardano-prelude",
-        "rev": "93f95047bb36a055bdd56fb0cafd887c072cdce2",
+        "rev": "713c7ae79a4d538fcd653c976a652913df1567b9",
         "type": "github"
       }
     },
@@ -1085,6 +1202,22 @@
         "type": "github"
       }
     },
+    "cardano-repo-tool_10": {
+      "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-repo-tool_2": {
       "flake": false,
       "locked": {
@@ -1229,6 +1362,22 @@
         "type": "github"
       }
     },
+    "cardano-shell_10": {
+      "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"
+      }
+    },
     "cardano-shell_2": {
       "flake": false,
       "locked": {
@@ -1525,9 +1674,30 @@
       "inputs": {
         "flake-compat": "flake-compat_15",
         "flake-utils": "flake-utils_23",
-        "lint-utils": "lint-utils",
         "nixpkgs": "nixpkgs_39"
       },
+      "locked": {
+        "lastModified": 1653742730,
+        "narHash": "sha256-NyhjoMbm3h1aTskIU6jowNClSgA92bUcGcVNPfWNWgE=",
+        "owner": "srid",
+        "repo": "ema",
+        "rev": "50d9499db16b4e334776d8e8cffcd144c67f9fc4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "multisite",
+        "repo": "ema",
+        "type": "github"
+      }
+    },
+    "ema_9": {
+      "inputs": {
+        "flake-compat": "flake-compat_17",
+        "flake-utils": "flake-utils_26",
+        "lint-utils": "lint-utils",
+        "nixpkgs": "nixpkgs_44"
+      },
       "locked": {
         "lastModified": 1650932571,
         "narHash": "sha256-rdpfJ+10a1uBPtHMNoAcpDE183RzpILRpsMgxj/YJek=",
@@ -1818,6 +1988,8 @@
         "ema": "ema_7",
         "flake-compat": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -1825,6 +1997,8 @@
         ],
         "flake-utils": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -1834,6 +2008,8 @@
         "ixset-typed": "ixset-typed_7",
         "nixpkgs": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema",
@@ -1860,6 +2036,50 @@
     "emanote_8": {
       "inputs": {
         "ema": "ema_8",
+        "flake-compat": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-compat"
+        ],
+        "flake-utils": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "flake-utils"
+        ],
+        "heist": "heist_8",
+        "ixset-typed": "ixset-typed_8",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema",
+          "nixpkgs"
+        ],
+        "pandoc-link-context": "pandoc-link-context_8",
+        "tailwind-haskell": "tailwind-haskell_8"
+      },
+      "locked": {
+        "lastModified": 1653742875,
+        "narHash": "sha256-2IFMkA6/T0nCQHQcC8UhYWh8q8FQyGDBKfcDIhBJ3JM=",
+        "owner": "srid",
+        "repo": "emanote",
+        "rev": "ab5155ef400ce83a744362a4b953315d7ee6a8c3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "emanote",
+        "type": "github"
+      }
+    },
+    "emanote_9": {
+      "inputs": {
+        "ema": "ema_9",
         "flake-compat": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -1876,8 +2096,8 @@
           "ema",
           "flake-utils"
         ],
-        "heist": "heist_8",
-        "ixset-typed": "ixset-typed_8",
+        "heist": "heist_9",
+        "ixset-typed": "ixset-typed_9",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -1886,9 +2106,9 @@
           "ema",
           "nixpkgs"
         ],
-        "pandoc-link-context": "pandoc-link-context_8",
+        "pandoc-link-context": "pandoc-link-context_9",
         "pathtree": "pathtree",
-        "tailwind-haskell": "tailwind-haskell_8",
+        "tailwind-haskell": "tailwind-haskell_9",
         "unionmount": "unionmount"
       },
       "locked": {
@@ -2005,11 +2225,11 @@
     "flake-compat_15": {
       "flake": false,
       "locked": {
-        "lastModified": 1648199409,
-        "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=",
+        "lastModified": 1650374568,
+        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
         "owner": "edolstra",
         "repo": "flake-compat",
-        "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03",
+        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
         "type": "github"
       },
       "original": {
@@ -2035,6 +2255,22 @@
       }
     },
     "flake-compat_17": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1648199409,
+        "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-compat_18": {
       "flake": false,
       "locked": {
         "lastModified": 1641205782,
@@ -2050,14 +2286,14 @@
         "type": "github"
       }
     },
-    "flake-compat_18": {
+    "flake-compat_19": {
       "flake": false,
       "locked": {
-        "lastModified": 1627913399,
-        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "lastModified": 1641205782,
+        "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=",
         "owner": "edolstra",
         "repo": "flake-compat",
-        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7",
         "type": "github"
       },
       "original": {
@@ -2082,6 +2318,22 @@
         "type": "github"
       }
     },
+    "flake-compat_20": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1627913399,
+        "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
     "flake-compat_3": {
       "flake": false,
       "locked": {
@@ -2431,20 +2683,37 @@
     },
     "flake-utils_23": {
       "locked": {
-        "lastModified": 1648297722,
-        "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=",
+        "lastModified": 1652776076,
+        "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade",
+        "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8",
         "type": "github"
       },
       "original": {
         "owner": "numtide",
+        "ref": "v1.0.0",
         "repo": "flake-utils",
         "type": "github"
       }
     },
     "flake-utils_24": {
+      "locked": {
+        "lastModified": 1652776076,
+        "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "ref": "v1.0.0",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_25": {
       "locked": {
         "lastModified": 1644229661,
         "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
@@ -2459,28 +2728,13 @@
         "type": "github"
       }
     },
-    "flake-utils_25": {
-      "locked": {
-        "lastModified": 1642700792,
-        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
     "flake-utils_26": {
       "locked": {
-        "lastModified": 1642700792,
-        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "lastModified": 1648297722,
+        "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade",
         "type": "github"
       },
       "original": {
@@ -2490,6 +2744,66 @@
       }
     },
     "flake-utils_27": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_28": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_29": {
+      "locked": {
+        "lastModified": 1642700792,
+        "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_3": {
+      "locked": {
+        "lastModified": 1644229661,
+        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_30": {
       "locked": {
         "lastModified": 1631561581,
         "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=",
@@ -2504,22 +2818,7 @@
         "type": "github"
       }
     },
-    "flake-utils_28": {
-      "locked": {
-        "lastModified": 1644229661,
-        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "flake-utils_3": {
+    "flake-utils_31": {
       "locked": {
         "lastModified": 1644229661,
         "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
@@ -2644,6 +2943,23 @@
         "type": "github"
       }
     },
+    "flat_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1641898475,
+        "narHash": "sha256-D7jJ4t0T1ZvXbO61r3HQj77hZ5hWF/P1L8X9+MnfD6c=",
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Quid2",
+        "repo": "flat",
+        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "type": "github"
+      }
+    },
     "flat_2": {
       "flake": false,
       "locked": {
@@ -2759,17 +3075,16 @@
     "flat_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1641898475,
-        "narHash": "sha256-D7jJ4t0T1ZvXbO61r3HQj77hZ5hWF/P1L8X9+MnfD6c=",
+        "lastModified": 1651403785,
+        "narHash": "sha256-g+jGep1IXdw4q01W67J6f6OODY91QzIlW1+Eu8pR+u0=",
         "owner": "Quid2",
         "repo": "flat",
-        "rev": "41a040c413351e021982bb78bd00f750628f8060",
+        "rev": "559617e058098b776b431e2a67346ad3adea2440",
         "type": "github"
       },
       "original": {
         "owner": "Quid2",
         "repo": "flat",
-        "rev": "41a040c413351e021982bb78bd00f750628f8060",
         "type": "github"
       }
     },
@@ -2807,6 +3122,23 @@
         "type": "github"
       }
     },
+    "ghc-8.6.5-iohk_10": {
+      "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"
+      }
+    },
     "ghc-8.6.5-iohk_2": {
       "flake": false,
       "locked": {
@@ -2959,6 +3291,22 @@
         "type": "github"
       }
     },
+    "gitignore-nix_10": {
+      "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"
+      }
+    },
     "gitignore-nix_2": {
       "flake": false,
       "locked": {
@@ -3119,6 +3467,22 @@
         "type": "github"
       }
     },
+    "hackage-nix_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644369434,
+        "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "644a0d702abf84cdec62f4e620ff1034000e6146",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
     "hackage-nix_2": {
       "flake": false,
       "locked": {
@@ -3234,11 +3598,27 @@
     "hackage-nix_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1644369434,
-        "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=",
+        "lastModified": 1651108473,
+        "narHash": "sha256-zHGCnBdwKvrcYanjf3GARTWF8V2pyJl1QNONUNZSoc0=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "644a0d702abf84cdec62f4e620ff1034000e6146",
+        "rev": "dbab3b292c3400d028a2257e3acd2ac0249da774",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "type": "github"
+      }
+    },
+    "hackage_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644887696,
+        "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=",
+        "owner": "input-output-hk",
+        "repo": "hackage.nix",
+        "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5",
         "type": "github"
       },
       "original": {
@@ -3362,11 +3742,11 @@
     "hackage_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1644887696,
-        "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=",
+        "lastModified": 1654046237,
+        "narHash": "sha256-FpM9zE+Q+WrvCiaZBCg5U1g0bYpiZOCxY8V3R5ydBu8=",
         "owner": "input-output-hk",
         "repo": "hackage.nix",
-        "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5",
+        "rev": "eeae1790b9c6a880d96e4a7214fdf0a73bdd6fc0",
         "type": "github"
       },
       "original": {
@@ -3604,6 +3984,22 @@
       }
     },
     "haskell-language-server_22": {
+      "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_23": {
       "flake": false,
       "locked": {
         "lastModified": 1653778781,
@@ -3619,7 +4015,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_23": {
+    "haskell-language-server_24": {
       "flake": false,
       "locked": {
         "lastModified": 1650980856,
@@ -3636,7 +4032,56 @@
         "type": "github"
       }
     },
-    "haskell-language-server_24": {
+    "haskell-language-server_25": {
+      "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_26": {
+      "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_27": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1655140576,
+        "narHash": "sha256-mHJuIk1ElmgPxvEUO2Y3E6T674F2tO5SS/uixf4R2fM=",
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "rev": "8a5840a020048c74285f9997b9b02b9b04c658c6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "haskell",
+        "repo": "haskell-language-server",
+        "type": "github"
+      }
+    },
+    "haskell-language-server_28": {
       "flake": false,
       "locked": {
         "lastModified": 1645014262,
@@ -3652,7 +4097,7 @@
         "type": "github"
       }
     },
-    "haskell-language-server_25": {
+    "haskell-language-server_29": {
       "flake": false,
       "locked": {
         "lastModified": 1643835246,
@@ -4016,6 +4461,37 @@
       }
     },
     "haskell-nix-extra-hackage_8": {
+      "inputs": {
+        "haskell-nix": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
+          "plutarch",
+          "haskell-nix"
+        ],
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
+          "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_9": {
       "inputs": {
         "haskell-nix": [
           "plutarch-safe-money",
@@ -4186,6 +4662,8 @@
         "nix-tools": "nix-tools_8",
         "nixpkgs": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -4234,14 +4712,14 @@
         "cabal-34": "cabal-34_9",
         "cabal-36": "cabal-36_9",
         "cardano-shell": "cardano-shell_9",
-        "flake-utils": "flake-utils_28",
+        "flake-utils": "flake-utils_25",
         "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9",
         "hackage": "hackage_9",
         "hpc-coveralls": "hpc-coveralls_9",
+        "hydra": "hydra_9",
         "nix-tools": "nix-tools_9",
         "nixpkgs": [
           "plutarch-safe-money",
-          "plutarch-numeric",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -4253,6 +4731,62 @@
         "old-ghc-nix": "old-ghc-nix_9",
         "stackage": "stackage_9"
       },
+      "locked": {
+        "lastModified": 1654068838,
+        "narHash": "sha256-GHSufC21DSg8Lz2AzIg3DA9DPxGvLqxGFa/4ADoXRhU=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "fa2fa131fe15e630c91ab4078d12eb32c41f934b",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
+    "haskell-nix_18": {
+      "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_19": {
+      "inputs": {
+        "HTTP": "HTTP_10",
+        "cabal-32": "cabal-32_10",
+        "cabal-34": "cabal-34_10",
+        "cabal-36": "cabal-36_10",
+        "cardano-shell": "cardano-shell_10",
+        "flake-utils": "flake-utils_31",
+        "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_10",
+        "hackage": "hackage_10",
+        "hpc-coveralls": "hpc-coveralls_10",
+        "nix-tools": "nix-tools_10",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch-numeric",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "nixpkgs-2003": "nixpkgs-2003_10",
+        "nixpkgs-2105": "nixpkgs-2105_10",
+        "nixpkgs-2111": "nixpkgs-2111_20",
+        "nixpkgs-unstable": "nixpkgs-unstable_10",
+        "old-ghc-nix": "old-ghc-nix_10",
+        "stackage": "stackage_10"
+      },
       "locked": {
         "lastModified": 1644944726,
         "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=",
@@ -4268,22 +4802,6 @@
         "type": "github"
       }
     },
-    "haskell-nix_18": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1629380841,
-        "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=",
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "haskell.nix",
-        "type": "github"
-      }
-    },
     "haskell-nix_2": {
       "flake": false,
       "locked": {
@@ -4300,6 +4818,22 @@
         "type": "github"
       }
     },
+    "haskell-nix_20": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1629380841,
+        "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=",
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "haskell.nix",
+        "type": "github"
+      }
+    },
     "haskell-nix_3": {
       "inputs": {
         "HTTP": "HTTP_2",
@@ -4628,6 +5162,23 @@
       }
     },
     "heist_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653169917,
+        "narHash": "sha256-i52wi4nNC6ATx8gTtmpLnxQZEhKSM0LbpmSu57d5VqI=",
+        "owner": "srid",
+        "repo": "heist",
+        "rev": "75533cade1a0d9859ff487cbf6f22e98711248d3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "emanote",
+        "repo": "heist",
+        "type": "github"
+      }
+    },
+    "heist_9": {
       "flake": false,
       "locked": {
         "lastModified": 1649279862,
@@ -4662,6 +5213,24 @@
         "type": "github"
       }
     },
+    "hercules-ci-effects_10": {
+      "inputs": {
+        "nixpkgs": "nixpkgs_48"
+      },
+      "locked": {
+        "lastModified": 1647711660,
+        "narHash": "sha256-ZoV/oAH8g4NYeTzC7OCZnlM7l0hNBs0nUHf4l1+lmDc=",
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "rev": "d17e41cfb454d07f5d8d3b667bf45b079d868541",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "hercules-ci-effects",
+        "type": "github"
+      }
+    },
     "hercules-ci-effects_2": {
       "inputs": {
         "nixpkgs": "nixpkgs_9"
@@ -4790,14 +5359,14 @@
     },
     "hercules-ci-effects_9": {
       "inputs": {
-        "nixpkgs": "nixpkgs_43"
+        "nixpkgs": "nixpkgs_42"
       },
       "locked": {
-        "lastModified": 1647711660,
-        "narHash": "sha256-ZoV/oAH8g4NYeTzC7OCZnlM7l0hNBs0nUHf4l1+lmDc=",
+        "lastModified": 1653841712,
+        "narHash": "sha256-XBF4i1MuIRAEbFpj3Z3fVaYxzNEsYapyENtw3vG+q1I=",
         "owner": "hercules-ci",
         "repo": "hercules-ci-effects",
-        "rev": "d17e41cfb454d07f5d8d3b667bf45b079d868541",
+        "rev": "e14d2131b7c81acca3904b584ac45fb72da64dd2",
         "type": "github"
       },
       "original": {
@@ -4822,6 +5391,22 @@
         "type": "github"
       }
     },
+    "hpc-coveralls_10": {
+      "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"
+      }
+    },
     "hpc-coveralls_2": {
       "flake": false,
       "locked": {
@@ -5195,6 +5780,33 @@
     "hydra_8": {
       "inputs": {
         "nix": "nix_8",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
+          "plutarch",
+          "haskell-nix",
+          "hydra",
+          "nix",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1646878427,
+        "narHash": "sha256-KtbrofMtN8GlM7D+n90kixr7QpSlVmdN+vK5CA/aRzc=",
+        "owner": "NixOS",
+        "repo": "hydra",
+        "rev": "28b682b85b7efc5cf7974065792a1f22203a5927",
+        "type": "github"
+      },
+      "original": {
+        "id": "hydra",
+        "type": "indirect"
+      }
+    },
+    "hydra_9": {
+      "inputs": {
+        "nix": "nix_9",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch",
@@ -5348,11 +5960,11 @@
     "iohk-nix_17": {
       "flake": false,
       "locked": {
-        "lastModified": 1643251385,
-        "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=",
+        "lastModified": 1653579289,
+        "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=",
         "owner": "input-output-hk",
         "repo": "iohk-nix",
-        "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4",
+        "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366",
         "type": "github"
       },
       "original": {
@@ -5377,6 +5989,22 @@
         "type": "github"
       }
     },
+    "iohk-nix_19": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1643251385,
+        "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=",
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "iohk-nix",
+        "type": "github"
+      }
+    },
     "iohk-nix_2": {
       "flake": false,
       "locked": {
@@ -5393,6 +6021,22 @@
         "type": "github"
       }
     },
+    "iohk-nix_20": {
+      "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_3": {
       "flake": false,
       "locked": {
@@ -5618,6 +6262,22 @@
       }
     },
     "ixset-typed_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1652177108,
+        "narHash": "sha256-g0N1jiumsxHzfo9SGVR+q9awRvHEehSRaoW89LXCCnY=",
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "rev": "244d3b72fd051b8d78f2d4edb6208269f29d85b7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "well-typed",
+        "repo": "ixset-typed",
+        "type": "github"
+      }
+    },
+    "ixset-typed_9": {
       "flake": false,
       "locked": {
         "lastModified": 1639657838,
@@ -5635,7 +6295,7 @@
     },
     "lint-utils": {
       "inputs": {
-        "flake-utils": "flake-utils_24",
+        "flake-utils": "flake-utils_27",
         "nixpkgs": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -5679,11 +6339,11 @@
         "plutarch-quickcheck": "plutarch-quickcheck"
       },
       "locked": {
-        "lastModified": 1654960547,
-        "narHash": "sha256-Zi0WDUh/aH8a64EHNv7QHK1cbKM6q0GcrRKOqso5lSA=",
+        "lastModified": 1655470312,
+        "narHash": "sha256-O4Dy803SFOS+S1OFEecfCRkjWc8y0iHbO+EVKtBqsGk=",
         "owner": "Liqwid-Labs",
         "repo": "liqwid-plutarch-extra",
-        "rev": "6293833a8ea885c34fbde157d5d69bd8da3bdd76",
+        "rev": "fd9b2e6e713c36efef30bcef8d97a069fda7d71a",
         "type": "github"
       },
       "original": {
@@ -5710,21 +6370,22 @@
         ],
         "nixpkgs-2111": "nixpkgs-2111_13",
         "nixpkgs-latest": "nixpkgs-latest_13",
-        "plutarch": "plutarch_7"
+        "plutarch": "plutarch_7",
+        "plutarch-quickcheck": "plutarch-quickcheck_3"
       },
       "locked": {
-        "lastModified": 1654189693,
-        "narHash": "sha256-rBMKRsAn+T8nvPY5T1U3MZ+yxM54OOECXcoeZ/gKjyE=",
-        "ref": "main",
-        "rev": "e147c95d8698502d1078ad612ad18affafcba3ba",
-        "revCount": 18,
-        "type": "git",
-        "url": "ssh://git@github.com/Liqwid-Labs/liqwid-plutarch-extra"
+        "lastModified": 1655470312,
+        "narHash": "sha256-O4Dy803SFOS+S1OFEecfCRkjWc8y0iHbO+EVKtBqsGk=",
+        "owner": "Liqwid-Labs",
+        "repo": "liqwid-plutarch-extra",
+        "rev": "fd9b2e6e713c36efef30bcef8d97a069fda7d71a",
+        "type": "github"
       },
       "original": {
+        "owner": "Liqwid-Labs",
         "ref": "main",
-        "type": "git",
-        "url": "ssh://git@github.com/Liqwid-Labs/liqwid-plutarch-extra"
+        "repo": "liqwid-plutarch-extra",
+        "type": "github"
       }
     },
     "lowdown-src": {
@@ -5855,6 +6516,22 @@
         "type": "github"
       }
     },
+    "lowdown-src_9": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1633514407,
+        "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=",
+        "owner": "kristapsdz",
+        "repo": "lowdown",
+        "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "kristapsdz",
+        "repo": "lowdown",
+        "type": "github"
+      }
+    },
     "nix": {
       "inputs": {
         "lowdown-src": "lowdown-src",
@@ -5892,6 +6569,22 @@
         "type": "github"
       }
     },
+    "nix-tools_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644395812,
+        "narHash": "sha256-BVFk/BEsTLq5MMZvdy3ZYHKfaS3dHrsKh4+tb5t5b58=",
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "rev": "d847c63b99bbec78bf83be2a61dc9f09b8a9ccc1",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "nix-tools",
+        "type": "github"
+      }
+    },
     "nix-tools_2": {
       "flake": false,
       "locked": {
@@ -6007,11 +6700,11 @@
     "nix-tools_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1644395812,
-        "narHash": "sha256-BVFk/BEsTLq5MMZvdy3ZYHKfaS3dHrsKh4+tb5t5b58=",
+        "lastModified": 1649424170,
+        "narHash": "sha256-XgKXWispvv5RCvZzPb+p7e6Hy3LMuRjafKMl7kXzxGw=",
         "owner": "input-output-hk",
         "repo": "nix-tools",
-        "rev": "d847c63b99bbec78bf83be2a61dc9f09b8a9ccc1",
+        "rev": "e109c94016e3b6e0db7ed413c793e2d4bdb24aa7",
         "type": "github"
       },
       "original": {
@@ -6167,6 +6860,27 @@
         "type": "github"
       }
     },
+    "nix_9": {
+      "inputs": {
+        "lowdown-src": "lowdown-src_9",
+        "nixpkgs": "nixpkgs_41",
+        "nixpkgs-regression": "nixpkgs-regression_9"
+      },
+      "locked": {
+        "lastModified": 1643066034,
+        "narHash": "sha256-xEPeMcNJVOeZtoN+d+aRwolpW8mFSEQx76HTRdlhPhg=",
+        "owner": "NixOS",
+        "repo": "nix",
+        "rev": "a1cd7e58606a41fcf62bf8637804cf8306f17f62",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "2.6.0",
+        "repo": "nix",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1652885393,
@@ -6199,6 +6913,22 @@
         "type": "github"
       }
     },
+    "nixpkgs-2003_10": {
+      "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-2003_2": {
       "locked": {
         "lastModified": 1620055814,
@@ -6343,6 +7073,22 @@
         "type": "github"
       }
     },
+    "nixpkgs-2105_10": {
+      "locked": {
+        "lastModified": 1642244250,
+        "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0fd9ee1aa36ce865ad273f4f07fdc093adeb5c00",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.05-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2105_2": {
       "locked": {
         "lastModified": 1645296114,
@@ -6457,11 +7203,11 @@
     },
     "nixpkgs-2105_9": {
       "locked": {
-        "lastModified": 1642244250,
-        "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=",
+        "lastModified": 1645296114,
+        "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "0fd9ee1aa36ce865ad273f4f07fdc093adeb5c00",
+        "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1",
         "type": "github"
       },
       "original": {
@@ -6569,11 +7315,11 @@
     },
     "nixpkgs-2111_15": {
       "locked": {
-        "lastModified": 1653319070,
-        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
+        "lastModified": 1652364845,
+        "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
+        "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193",
         "type": "github"
       },
       "original": {
@@ -6617,11 +7363,27 @@
     },
     "nixpkgs-2111_18": {
       "locked": {
-        "lastModified": 1644510859,
-        "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=",
+        "lastModified": 1648744337,
+        "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "0d1d5d7e3679fec9d07f2eb804d9f9fdb98378d3",
+        "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-2111_19": {
+      "locked": {
+        "lastModified": 1653319070,
+        "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1c813bbdc330b45fe922c642eb610902aecd5673",
         "type": "github"
       },
       "original": {
@@ -6647,6 +7409,22 @@
         "type": "github"
       }
     },
+    "nixpkgs-2111_20": {
+      "locked": {
+        "lastModified": 1644510859,
+        "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "0d1d5d7e3679fec9d07f2eb804d9f9fdb98378d3",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-21.11-darwin",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-2111_3": {
       "locked": {
         "lastModified": 1652364845,
@@ -6887,6 +7665,54 @@
         "type": "github"
       }
     },
+    "nixpkgs-latest_17": {
+      "locked": {
+        "lastModified": 1653918805,
+        "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      }
+    },
+    "nixpkgs-latest_18": {
+      "locked": {
+        "lastModified": 1653918805,
+        "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      }
+    },
+    "nixpkgs-latest_19": {
+      "locked": {
+        "lastModified": 1653918805,
+        "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492",
+        "type": "github"
+      }
+    },
     "nixpkgs-latest_2": {
       "locked": {
         "lastModified": 1653918805,
@@ -7135,6 +7961,21 @@
         "type": "indirect"
       }
     },
+    "nixpkgs-regression_9": {
+      "locked": {
+        "lastModified": 1643052045,
+        "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2",
+        "type": "indirect"
+      }
+    },
     "nixpkgs-unstable": {
       "locked": {
         "lastModified": 1648219316,
@@ -7151,6 +7992,22 @@
         "type": "github"
       }
     },
+    "nixpkgs-unstable_10": {
+      "locked": {
+        "lastModified": 1644486793,
+        "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "1882c6b7368fd284ad01b0a5b5601ef136321292",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
     "nixpkgs-unstable_2": {
       "locked": {
         "lastModified": 1648219316,
@@ -7265,11 +8122,11 @@
     },
     "nixpkgs-unstable_9": {
       "locked": {
-        "lastModified": 1644486793,
-        "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=",
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "1882c6b7368fd284ad01b0a5b5601ef136321292",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
         "type": "github"
       },
       "original": {
@@ -7765,17 +8622,17 @@
     },
     "nixpkgs_39": {
       "locked": {
-        "lastModified": 1650882267,
-        "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=",
+        "lastModified": 1652885393,
+        "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66",
         "type": "github"
       },
       "original": {
         "owner": "nixos",
+        "ref": "nixos-unstable",
         "repo": "nixpkgs",
-        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
         "type": "github"
       }
     },
@@ -7797,43 +8654,11 @@
     },
     "nixpkgs_40": {
       "locked": {
-        "lastModified": 1647350163,
-        "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
-        "type": "github"
-      }
-    },
-    "nixpkgs_41": {
-      "locked": {
-        "lastModified": 1649456639,
-        "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
-        "type": "github"
-      }
-    },
-    "nixpkgs_42": {
-      "locked": {
-        "lastModified": 1648219316,
-        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "lastModified": 1653117584,
+        "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83",
         "type": "github"
       },
       "original": {
@@ -7841,7 +8666,22 @@
         "type": "indirect"
       }
     },
-    "nixpkgs_43": {
+    "nixpkgs_41": {
+      "locked": {
+        "lastModified": 1632864508,
+        "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-21.05-small",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs_42": {
       "locked": {
         "lastModified": 1647297614,
         "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=",
@@ -7857,7 +8697,102 @@
         "type": "github"
       }
     },
+    "nixpkgs_43": {
+      "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_44": {
+      "locked": {
+        "lastModified": 1650882267,
+        "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2",
+        "type": "github"
+      }
+    },
+    "nixpkgs_45": {
+      "locked": {
+        "lastModified": 1647350163,
+        "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d",
+        "type": "github"
+      }
+    },
+    "nixpkgs_46": {
+      "locked": {
+        "lastModified": 1649456639,
+        "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec",
+        "type": "github"
+      }
+    },
+    "nixpkgs_47": {
+      "locked": {
+        "lastModified": 1648219316,
+        "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "type": "indirect"
+      }
+    },
+    "nixpkgs_48": {
+      "locked": {
+        "lastModified": 1647297614,
+        "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs_49": {
       "flake": false,
       "locked": {
         "lastModified": 1628785280,
@@ -7969,6 +8904,23 @@
         "type": "github"
       }
     },
+    "old-ghc-nix_10": {
+      "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"
+      }
+    },
     "old-ghc-nix_2": {
       "flake": false,
       "locked": {
@@ -8225,6 +9177,23 @@
       }
     },
     "pandoc-link-context_8": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1653170888,
+        "narHash": "sha256-bA/Oj2pt3H2b4lqWqVBYo3Qhvhd01r4vM39+vLuPMtA=",
+        "owner": "srid",
+        "repo": "pandoc-link-context",
+        "rev": "c3a3de34b291b2bfec04387af65e0cc0822373c5",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "pandoc-link-context",
+        "type": "github"
+      }
+    },
+    "pandoc-link-context_9": {
       "flake": false,
       "locked": {
         "lastModified": 1650932770,
@@ -8243,9 +9212,9 @@
     },
     "pathtree": {
       "inputs": {
-        "flake-compat": "flake-compat_16",
-        "flake-utils": "flake-utils_25",
-        "nixpkgs": "nixpkgs_40"
+        "flake-compat": "flake-compat_18",
+        "flake-utils": "flake-utils_28",
+        "nixpkgs": "nixpkgs_45"
       },
       "locked": {
         "lastModified": 1649011952,
@@ -8365,6 +9334,7 @@
     },
     "plutarch-numeric_2": {
       "inputs": {
+        "haskell-language-server": "haskell-language-server_27",
         "haskell-nix": [
           "plutarch-safe-money",
           "plutarch-numeric",
@@ -8377,22 +9347,23 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_17",
-        "plutarch": "plutarch_9"
+        "nixpkgs-2111": "nixpkgs-2111_19",
+        "nixpkgs-latest": "nixpkgs-latest_19",
+        "plutarch": "plutarch_10"
       },
       "locked": {
-        "lastModified": 1653523611,
-        "narHash": "sha256-Qt5tFw8NCkMo+QLuRrM07cZ6qZHDbKHEtfCFJdBBZGw=",
-        "ref": "main",
-        "rev": "5bccbdd1d4b6cdb000e40f7ab5ea3937e0384477",
-        "revCount": 2,
-        "type": "git",
-        "url": "ssh://git@github.com/Liqwid-Labs/plutarch-numeric"
+        "lastModified": 1654950823,
+        "narHash": "sha256-fq6Iyk1ygNs4sTS55jLjx0hWFAFQNKXBGrVHuzRXFls=",
+        "owner": "Liqwid-Labs",
+        "repo": "plutarch-numeric",
+        "rev": "11fdf47fdcbf19d51ed587b0b67618152098f442",
+        "type": "github"
       },
       "original": {
+        "owner": "Liqwid-Labs",
         "ref": "main",
-        "type": "git",
-        "url": "ssh://git@github.com/Liqwid-Labs/plutarch-numeric"
+        "repo": "plutarch-numeric",
+        "type": "github"
       }
     },
     "plutarch-quickcheck": {
@@ -8415,17 +9386,17 @@
         "plutarch": "plutarch_2"
       },
       "locked": {
-        "lastModified": 1654293728,
-        "narHash": "sha256-6Pd410I03CetLM4YYrJmMldOYDyqGPATlmorhKKWU0Q=",
+        "lastModified": 1655113586,
+        "narHash": "sha256-hv9tzB3IGvga6/SBDnk16S3Sfp03tvtkWd8COW0It30=",
         "owner": "liqwid-labs",
         "repo": "plutarch-quickcheck",
-        "rev": "cd7df08176e0ee5111980ead903764979d920147",
+        "rev": "a560e12b4809c0f292c96e81189e1b2cf2e7f7eb",
         "type": "github"
       },
       "original": {
         "owner": "liqwid-labs",
-        "ref": "staging",
         "repo": "plutarch-quickcheck",
+        "rev": "a560e12b4809c0f292c96e81189e1b2cf2e7f7eb",
         "type": "github"
       }
     },
@@ -8461,6 +9432,42 @@
         "type": "github"
       }
     },
+    "plutarch-quickcheck_3": {
+      "inputs": {
+        "haskell-language-server": "haskell-language-server_22",
+        "haskell-nix": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
+          "plutarch",
+          "haskell-nix"
+        ],
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
+          "plutarch",
+          "nixpkgs"
+        ],
+        "nixpkgs-2111": "nixpkgs-2111_15",
+        "nixpkgs-latest": "nixpkgs-latest_15",
+        "plutarch": "plutarch_8"
+      },
+      "locked": {
+        "lastModified": 1655113586,
+        "narHash": "sha256-hv9tzB3IGvga6/SBDnk16S3Sfp03tvtkWd8COW0It30=",
+        "owner": "liqwid-labs",
+        "repo": "plutarch-quickcheck",
+        "rev": "a560e12b4809c0f292c96e81189e1b2cf2e7f7eb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "liqwid-labs",
+        "repo": "plutarch-quickcheck",
+        "rev": "a560e12b4809c0f292c96e81189e1b2cf2e7f7eb",
+        "type": "github"
+      }
+    },
     "plutarch-safe-money": {
       "inputs": {
         "haskell-language-server": "haskell-language-server_18",
@@ -8475,23 +9482,68 @@
           "plutarch",
           "nixpkgs"
         ],
-        "nixpkgs-2111": "nixpkgs-2111_15",
-        "nixpkgs-latest": "nixpkgs-latest_15",
-        "plutarch": "plutarch_8",
+        "nixpkgs-2111": "nixpkgs-2111_17",
+        "nixpkgs-latest": "nixpkgs-latest_17",
+        "plutarch": "plutarch_9",
         "plutarch-numeric": "plutarch-numeric_2"
       },
       "locked": {
-        "lastModified": 1654950744,
-        "narHash": "sha256-WqPzU5+Vi4Ei7d2izbO1Krs8Pa5ZFwypmpdFrTapUy4=",
+        "lastModified": 1655471113,
+        "narHash": "sha256-6z17r2rs2M+Gv7MJep6+zP2bq6G5Id4XDhInpU5RulM=",
         "owner": "Liqwid-Labs",
         "repo": "plutarch-safe-money",
-        "rev": "f0316955004aaec38c424b922b09267cf9cf76d7",
+        "rev": "9f968b80189c7e4b335527cd5b103dc26952f667",
         "type": "github"
       },
       "original": {
         "owner": "Liqwid-Labs",
-        "ref": "main",
         "repo": "plutarch-safe-money",
+        "rev": "9f968b80189c7e4b335527cd5b103dc26952f667",
+        "type": "github"
+      }
+    },
+    "plutarch_10": {
+      "inputs": {
+        "Shrinker": "Shrinker",
+        "cardano-base": "cardano-base_10",
+        "cardano-crypto": "cardano-crypto_10",
+        "cardano-prelude": "cardano-prelude_10",
+        "cryptonite": "cryptonite",
+        "emanote": "emanote_9",
+        "flat": "flat_10",
+        "foundation": "foundation",
+        "haskell-language-server": "haskell-language-server_28",
+        "haskell-nix": "haskell-nix_19",
+        "hercules-ci-effects": "hercules-ci-effects_10",
+        "hs-memory": "hs-memory",
+        "hspec": "hspec",
+        "hspec-golden": "hspec-golden",
+        "hspec-hedgehog": "hspec-hedgehog",
+        "iohk-nix": "iohk-nix_19",
+        "nixpkgs": [
+          "plutarch-safe-money",
+          "plutarch-numeric",
+          "plutarch",
+          "haskell-nix",
+          "nixpkgs-unstable"
+        ],
+        "plutus": "plutus_10",
+        "protolude": "protolude_10",
+        "sized-functors": "sized-functors",
+        "th-extras": "th-extras"
+      },
+      "locked": {
+        "lastModified": 1652353304,
+        "narHash": "sha256-DeSwiDyJeI9had5OCxLiGtYeDl07Vic0cR8RETBLY9k=",
+        "owner": "Liqwid-Labs",
+        "repo": "plutarch",
+        "rev": "ae2059f11f24d47bedeaa18749d01711cddab0bc",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Liqwid-Labs",
+        "ref": "staging",
+        "repo": "plutarch",
         "type": "github"
       }
     },
@@ -8735,13 +9787,15 @@
         "cardano-prelude": "cardano-prelude_8",
         "emanote": "emanote_7",
         "flat": "flat_8",
-        "haskell-language-server": "haskell-language-server_22",
+        "haskell-language-server": "haskell-language-server_23",
         "haskell-nix": "haskell-nix_15",
         "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_8",
         "hercules-ci-effects": "hercules-ci-effects_8",
         "iohk-nix": "iohk-nix_15",
         "nixpkgs": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
@@ -8768,40 +9822,33 @@
     },
     "plutarch_9": {
       "inputs": {
-        "Shrinker": "Shrinker",
         "cardano-base": "cardano-base_9",
         "cardano-crypto": "cardano-crypto_9",
         "cardano-prelude": "cardano-prelude_9",
-        "cryptonite": "cryptonite",
         "emanote": "emanote_8",
         "flat": "flat_9",
-        "foundation": "foundation",
-        "haskell-language-server": "haskell-language-server_24",
+        "haskell-language-server": "haskell-language-server_25",
         "haskell-nix": "haskell-nix_17",
+        "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_9",
         "hercules-ci-effects": "hercules-ci-effects_9",
-        "hs-memory": "hs-memory",
-        "hspec": "hspec",
-        "hspec-golden": "hspec-golden",
-        "hspec-hedgehog": "hspec-hedgehog",
         "iohk-nix": "iohk-nix_17",
         "nixpkgs": [
           "plutarch-safe-money",
-          "plutarch-numeric",
           "plutarch",
           "haskell-nix",
           "nixpkgs-unstable"
         ],
+        "nixpkgs-latest": "nixpkgs-latest_18",
         "plutus": "plutus_9",
         "protolude": "protolude_9",
-        "sized-functors": "sized-functors",
-        "th-extras": "th-extras"
+        "secp256k1-haskell": "secp256k1-haskell_9"
       },
       "locked": {
-        "lastModified": 1652353304,
-        "narHash": "sha256-DeSwiDyJeI9had5OCxLiGtYeDl07Vic0cR8RETBLY9k=",
+        "lastModified": 1654108284,
+        "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=",
         "owner": "Liqwid-Labs",
         "repo": "plutarch",
-        "rev": "ae2059f11f24d47bedeaa18749d01711cddab0bc",
+        "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7",
         "type": "github"
       },
       "original": {
@@ -8837,6 +9884,34 @@
         "type": "github"
       }
     },
+    "plutus_10": {
+      "inputs": {
+        "cardano-repo-tool": "cardano-repo-tool_10",
+        "gitignore-nix": "gitignore-nix_10",
+        "hackage-nix": "hackage-nix_10",
+        "haskell-language-server": "haskell-language-server_29",
+        "haskell-nix": "haskell-nix_20",
+        "iohk-nix": "iohk-nix_20",
+        "nixpkgs": "nixpkgs_49",
+        "pre-commit-hooks-nix": "pre-commit-hooks-nix_10",
+        "sphinxcontrib-haddock": "sphinxcontrib-haddock_10",
+        "stackage-nix": "stackage-nix"
+      },
+      "locked": {
+        "lastModified": 1645203653,
+        "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=",
+        "owner": "L-as",
+        "repo": "plutus",
+        "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "L-as",
+        "ref": "ghc9",
+        "repo": "plutus",
+        "type": "github"
+      }
+    },
     "plutus_2": {
       "inputs": {
         "cardano-repo-tool": "cardano-repo-tool_2",
@@ -8998,7 +10073,7 @@
         "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_24",
         "haskell-nix": "haskell-nix_16",
         "iohk-nix": "iohk-nix_16",
         "nixpkgs": "nixpkgs_38",
@@ -9024,25 +10099,23 @@
         "cardano-repo-tool": "cardano-repo-tool_9",
         "gitignore-nix": "gitignore-nix_9",
         "hackage-nix": "hackage-nix_9",
-        "haskell-language-server": "haskell-language-server_25",
+        "haskell-language-server": "haskell-language-server_26",
         "haskell-nix": "haskell-nix_18",
         "iohk-nix": "iohk-nix_18",
-        "nixpkgs": "nixpkgs_44",
+        "nixpkgs": "nixpkgs_43",
         "pre-commit-hooks-nix": "pre-commit-hooks-nix_9",
-        "sphinxcontrib-haddock": "sphinxcontrib-haddock_9",
-        "stackage-nix": "stackage-nix"
+        "sphinxcontrib-haddock": "sphinxcontrib-haddock_9"
       },
       "locked": {
-        "lastModified": 1645203653,
-        "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=",
-        "owner": "L-as",
+        "lastModified": 1653669501,
+        "narHash": "sha256-qJrjEeo9Jmar1TwihDFzKQNC1ui4M03iClJM1zMd5Uk=",
+        "owner": "input-output-hk",
         "repo": "plutus",
-        "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb",
+        "rev": "fed48a71550a12290efc84eefb74305d93cde69d",
         "type": "github"
       },
       "original": {
-        "owner": "L-as",
-        "ref": "ghc9",
+        "owner": "input-output-hk",
         "repo": "plutus",
         "type": "github"
       }
@@ -9063,6 +10136,22 @@
         "type": "github"
       }
     },
+    "pre-commit-hooks-nix_10": {
+      "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"
+      }
+    },
     "pre-commit-hooks-nix_2": {
       "flake": false,
       "locked": {
@@ -9207,6 +10296,23 @@
         "type": "github"
       }
     },
+    "protolude_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1637276813,
+        "narHash": "sha256-/mgR1Vyp1WYBjdkbwQycrf6lcmOgUFcYUZIMhVgYhdo=",
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      },
+      "original": {
+        "owner": "protolude",
+        "repo": "protolude",
+        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "type": "github"
+      }
+    },
     "protolude_2": {
       "flake": false,
       "locked": {
@@ -9322,17 +10428,16 @@
     "protolude_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1637276813,
-        "narHash": "sha256-/mgR1Vyp1WYBjdkbwQycrf6lcmOgUFcYUZIMhVgYhdo=",
+        "lastModified": 1647139352,
+        "narHash": "sha256-JyHAQfTTUswP8MeGEZibx/2/v01Q7cU5mNpnmDazh24=",
         "owner": "protolude",
         "repo": "protolude",
-        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
+        "rev": "3e249724fd0ead27370c8c297b1ecd38f92cbd5b",
         "type": "github"
       },
       "original": {
         "owner": "protolude",
         "repo": "protolude",
-        "rev": "d821ef0ac7552cfa2c3e7a7bdf29539f57e3fae6",
         "type": "github"
       }
     },
@@ -9484,6 +10589,22 @@
         "type": "github"
       }
     },
+    "secp256k1-haskell_9": {
+      "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": {
@@ -9517,6 +10638,22 @@
         "type": "github"
       }
     },
+    "sphinxcontrib-haddock_10": {
+      "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"
+      }
+    },
     "sphinxcontrib-haddock_2": {
       "flake": false,
       "locked": {
@@ -9677,6 +10814,22 @@
         "type": "github"
       }
     },
+    "stackage_10": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1644887829,
+        "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=",
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68",
+        "type": "github"
+      },
+      "original": {
+        "owner": "input-output-hk",
+        "repo": "stackage.nix",
+        "type": "github"
+      }
+    },
     "stackage_2": {
       "flake": false,
       "locked": {
@@ -9792,11 +10945,11 @@
     "stackage_9": {
       "flake": false,
       "locked": {
-        "lastModified": 1644887829,
-        "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=",
+        "lastModified": 1654046327,
+        "narHash": "sha256-IxX46Dh4OZpF3k7KPMa3tZSScYYGqFxXpCnMc0QRkuQ=",
         "owner": "input-output-hk",
         "repo": "stackage.nix",
-        "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68",
+        "rev": "cc1d778723fcd431f9b2ed632a50c610c3e38b54",
         "type": "github"
       },
       "original": {
@@ -9973,6 +11126,8 @@
       "inputs": {
         "ema": [
           "plutarch-safe-money",
+          "liqwid-plutarch-extra",
+          "plutarch-quickcheck",
           "plutarch",
           "emanote",
           "ema"
@@ -9998,9 +11153,36 @@
     },
     "tailwind-haskell_8": {
       "inputs": {
-        "flake-compat": "flake-compat_17",
-        "flake-utils": "flake-utils_26",
-        "nixpkgs": "nixpkgs_41"
+        "ema": [
+          "plutarch-safe-money",
+          "plutarch",
+          "emanote",
+          "ema"
+        ],
+        "flake-compat": "flake-compat_16",
+        "flake-utils": "flake-utils_24",
+        "nixpkgs": "nixpkgs_40"
+      },
+      "locked": {
+        "lastModified": 1653230344,
+        "narHash": "sha256-MNwayqvZHsIsP1uyqwQFvzcfFGBMejzZOqAapDjrV5I=",
+        "owner": "srid",
+        "repo": "tailwind-haskell",
+        "rev": "0fb8a18b0e770bafc17521836658f31c56e6dfdb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "srid",
+        "ref": "master",
+        "repo": "tailwind-haskell",
+        "type": "github"
+      }
+    },
+    "tailwind-haskell_9": {
+      "inputs": {
+        "flake-compat": "flake-compat_19",
+        "flake-utils": "flake-utils_29",
+        "nixpkgs": "nixpkgs_46"
       },
       "locked": {
         "lastModified": 1649519562,
@@ -10036,9 +11218,9 @@
     },
     "unionmount": {
       "inputs": {
-        "flake-compat": "flake-compat_18",
-        "flake-utils": "flake-utils_27",
-        "nixpkgs": "nixpkgs_42"
+        "flake-compat": "flake-compat_20",
+        "flake-utils": "flake-utils_30",
+        "nixpkgs": "nixpkgs_47"
       },
       "locked": {
         "lastModified": 1649012450,
diff --git a/flake.nix b/flake.nix
index 611c21c..5c5c29d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -21,7 +21,7 @@
   inputs.plutarch-numeric.url =
     "github:Liqwid-Labs/plutarch-numeric?ref=main";
   inputs.plutarch-safe-money.url =
-    "github:Liqwid-Labs/plutarch-safe-money?ref=main";
+    "github:Liqwid-Labs/plutarch-safe-money?rev=9f968b80189c7e4b335527cd5b103dc26952f667";
 
   # Testing
   inputs.plutarch-quickcheck.url =