diff --git a/flake.lock b/flake.lock
deleted file mode 100644
index bbcb5ad84432174b90b100a51050027027803c74..0000000000000000000000000000000000000000
--- a/flake.lock
+++ /dev/null
@@ -1,935 +0,0 @@
-{
-  "nodes": {
-    "Cabal": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664636112,
-        "narHash": "sha256-AFNvWKvO/psPq5OPCFqvl/AejNmVC2l4OQkKLEyNT0A=",
-        "ref": "master",
-        "rev": "a5106bed5a197e9f670a0949f803e714ad4ef403",
-        "revCount": 13196,
-        "type": "git",
-        "url": "https://gitlab.haskell.org/ghc/packages/Cabal"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.haskell.org/ghc/packages/Cabal"
-      }
-    },
-    "all-cabal-hashes": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664652215,
-        "narHash": "sha256-srogTegrD+241OSa1IVFnEzIRcdOi6rkQQ0z0v9S13E=",
-        "owner": "commercialhaskell",
-        "repo": "all-cabal-hashes",
-        "rev": "21f7dfd6196d284ace4cfa5a6e1aa73072312e84",
-        "type": "github"
-      },
-      "original": {
-        "owner": "commercialhaskell",
-        "ref": "hackage",
-        "repo": "all-cabal-hashes",
-        "type": "github"
-      }
-    },
-    "cabal2nix": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1665402713,
-        "narHash": "sha256-eUk0m/24UaYi75mg9C36WK7PVnosKbMEIafkRa6npno=",
-        "owner": "NixOS",
-        "repo": "cabal2nix",
-        "rev": "b3ae6f9240d07ba103f1eb7ab22f6055e9cdb7dc",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "repo": "cabal2nix",
-        "type": "github"
-      }
-    },
-    "cabal2nix_2": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1665402713,
-        "narHash": "sha256-eUk0m/24UaYi75mg9C36WK7PVnosKbMEIafkRa6npno=",
-        "owner": "NixOS",
-        "repo": "cabal2nix",
-        "rev": "b3ae6f9240d07ba103f1eb7ab22f6055e9cdb7dc",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "repo": "cabal2nix",
-        "type": "github"
-      }
-    },
-    "cache-effectful": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1657749248,
-        "narHash": "sha256-Sa2A2KYPzoTJ57gFfjEJjBciuRkYO4y3HsUUTXdCrgU=",
-        "owner": "haskell-effectful",
-        "repo": "cache-effectful",
-        "rev": "0a5581da7c21a05a9ab1762a6da6997090fe311d",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell-effectful",
-        "repo": "cache-effectful",
-        "type": "github"
-      }
-    },
-    "cborg": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1661203454,
-        "narHash": "sha256-El+o3mioBcjNTnERNBEMRWU9bs9bJ0agxw4YHQKPV44=",
-        "owner": "parsonsmatt",
-        "repo": "cborg",
-        "rev": "05ca2063ff631667699bffbeee3a4a076943b905",
-        "type": "github"
-      },
-      "original": {
-        "owner": "parsonsmatt",
-        "repo": "cborg",
-        "rev": "05ca2063ff631667699bffbeee3a4a076943b905",
-        "type": "github"
-      }
-    },
-    "compactable": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1657645300,
-        "narHash": "sha256-WUICNDQYyzf3fnuRokltSbPBUjHP4gODtKt0JNVv2KY=",
-        "owner": "fresheyeball",
-        "repo": "Compactable",
-        "rev": "f63927b1e438c267f0d12f36e5b3735cfaebeeb4",
-        "type": "gitlab"
-      },
-      "original": {
-        "owner": "fresheyeball",
-        "ref": "master",
-        "repo": "Compactable",
-        "type": "gitlab"
-      }
-    },
-    "cryptohash-sha1": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1660587782,
-        "narHash": "sha256-7narJN/P+e3G7A9KtMe3uoMPi8DO9FPwQu7KG6NaixQ=",
-        "owner": "haskell-hvr",
-        "repo": "cryptohash-sha1",
-        "rev": "f82ceae0d2ad23cc5d4e7f69367b4b4796b852b8",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell-hvr",
-        "repo": "cryptohash-sha1",
-        "type": "github"
-      }
-    },
-    "doctest": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664345633,
-        "narHash": "sha256-58Re5dTwbQHpj/IwNgMwazu65Gs4aPLY+XKuh0/8ScQ=",
-        "owner": "sol",
-        "repo": "doctest",
-        "rev": "4eb97c213acf7abe965a3a1b67397199ed155f3c",
-        "type": "github"
-      },
-      "original": {
-        "owner": "sol",
-        "repo": "doctest",
-        "rev": "4eb97c213acf7abe965a3a1b67397199ed155f3c",
-        "type": "github"
-      }
-    },
-    "double-conversion": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1661030012,
-        "narHash": "sha256-K+UJK5ek5ufplqY7to9lfVnSKoa+rZUjNL95b0P7R3w=",
-        "owner": "haskell",
-        "repo": "double-conversion",
-        "rev": "5d092e0664442eaac8ae1d101dba57ce9b1c9b03",
-        "type": "github"
-      },
-      "original": {
-        "owner": "haskell",
-        "repo": "double-conversion",
-        "type": "github"
-      }
-    },
-    "ed25519": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1662566127,
-        "narHash": "sha256-0e9yAWm2VLyFNtgaC1+WpneARrTfWUqeN2Hv0OW42+U=",
-        "ref": "master",
-        "rev": "faf8fe90aa1cd2492ea1e64c55f5c59fc0322210",
-        "revCount": 2,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/adopted/ed25519"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/adopted/ed25519"
-      }
-    },
-    "ema": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1661699475,
-        "narHash": "sha256-2324LDzNNZGItJ4hI8SGUyZ8PZK0xHtRWnAFXlCX8UQ=",
-        "owner": "EmaApps",
-        "repo": "ema",
-        "rev": "be89ffe306a15ab4a16494c8593d989fabcc4486",
-        "type": "github"
-      },
-      "original": {
-        "owner": "EmaApps",
-        "repo": "ema",
-        "type": "github"
-      }
-    },
-    "flake-parts": {
-      "inputs": {
-        "nixpkgs": [
-          "horizon-gen-nix",
-          "horizon-platform",
-          "horizon-gen-nix",
-          "horizon-platform",
-          "nixpkgs"
-        ]
-      },
-      "locked": {
-        "lastModified": 1664385320,
-        "narHash": "sha256-uSCHb9RUqHRjTpI8OzyaUuHckFnnxwZqlXEuo+yUpYQ=",
-        "owner": "hercules-ci",
-        "repo": "flake-parts",
-        "rev": "45298bd207b26e1bcd030a0bb075aa2da29f8e30",
-        "type": "github"
-      },
-      "original": {
-        "owner": "hercules-ci",
-        "repo": "flake-parts",
-        "type": "github"
-      }
-    },
-    "flake-utils": {
-      "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
-        "type": "github"
-      },
-      "original": {
-        "id": "flake-utils",
-        "type": "indirect"
-      }
-    },
-    "flake-utils_10": {
-      "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_2": {
-      "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "flake-utils_3": {
-      "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
-        "type": "github"
-      },
-      "original": {
-        "id": "flake-utils",
-        "type": "indirect"
-      }
-    },
-    "flake-utils_4": {
-      "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "flake-utils_5": {
-      "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
-        "type": "github"
-      },
-      "original": {
-        "id": "flake-utils",
-        "type": "indirect"
-      }
-    },
-    "flake-utils_6": {
-      "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_7": {
-      "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_8": {
-      "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_9": {
-      "locked": {
-        "lastModified": 1644229661,
-        "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "ghc-exactprint": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664486261,
-        "narHash": "sha256-3SQPyJoQQTY7cG2S4TbpG9btPWS7U4F7AlGwAq5PXzk=",
-        "owner": "alanz",
-        "repo": "ghc-exactprint",
-        "rev": "8d3f0aa528e9a3fe5e0626cd733650641daaa2e9",
-        "type": "github"
-      },
-      "original": {
-        "owner": "alanz",
-        "ref": "ghc-9.4",
-        "repo": "ghc-exactprint",
-        "type": "github"
-      }
-    },
-    "haskell-src-meta": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1661274178,
-        "narHash": "sha256-6otO/j8wplg65J0ZOKZH/2VAGKsPhHZV94AJezuyI3w=",
-        "owner": "parsonsmatt",
-        "repo": "haskell-src-meta",
-        "rev": "ec8cc43b6084abe2d5d1b496dd1c0f42f5da0671",
-        "type": "github"
-      },
-      "original": {
-        "owner": "parsonsmatt",
-        "ref": "matt/support-new-th",
-        "repo": "haskell-src-meta",
-        "type": "github"
-      }
-    },
-    "hedgehog-golden": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1661504720,
-        "narHash": "sha256-bsQhvyY22Rgg8fEsVlQMAXN7Kps3QWntnAucuP8F16Y=",
-        "owner": "maybe-hedgehog-later",
-        "repo": "hedgehog-golden",
-        "rev": "4ab2906b3f0be5e31ee5a8585e45d43392694246",
-        "type": "github"
-      },
-      "original": {
-        "owner": "maybe-hedgehog-later",
-        "repo": "hedgehog-golden",
-        "type": "github"
-      }
-    },
-    "hlint": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1663663215,
-        "narHash": "sha256-lrwi32UYEwttFe7H4JLaHCQOzb9o5eZD0/RhvMwQSQ0=",
-        "owner": "ndmitchell",
-        "repo": "hlint",
-        "rev": "ca0226efb388671fc4bcd75e8993a8ba5b26b612",
-        "type": "github"
-      },
-      "original": {
-        "owner": "ndmitchell",
-        "repo": "hlint",
-        "type": "github"
-      }
-    },
-    "hnix": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1663319540,
-        "narHash": "sha256-dGedn32j4UHWq6Nv7XK23OC/9P1e2CTj5KwenP21rmw=",
-        "owner": "milloni",
-        "repo": "hnix",
-        "rev": "005568ee024eabee129d9cf4ca331c6da260610b",
-        "type": "github"
-      },
-      "original": {
-        "owner": "milloni",
-        "ref": "milloni/horizon",
-        "repo": "hnix",
-        "type": "github"
-      }
-    },
-    "horizon-gen-nix": {
-      "inputs": {
-        "cabal2nix": "cabal2nix",
-        "flake-utils": "flake-utils_2",
-        "horizon-platform": "horizon-platform",
-        "lint-utils": "lint-utils_4",
-        "nixpkgs": "nixpkgs_6"
-      },
-      "locked": {
-        "lastModified": 1665921401,
-        "narHash": "sha256-8f3PA/c+1hji16TZcieXUCLWLivv1tQ7xeHGNUlmUOs=",
-        "ref": "refs/heads/master",
-        "rev": "da5fb52cf8f62a5d4f0344f8f10f7addc33ca61d",
-        "revCount": 10,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-gen-nix"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-gen-nix"
-      }
-    },
-    "horizon-gen-nix_2": {
-      "inputs": {
-        "cabal2nix": "cabal2nix_2",
-        "flake-utils": "flake-utils_4",
-        "horizon-platform": "horizon-platform_2",
-        "lint-utils": "lint-utils_2",
-        "nixpkgs": "nixpkgs_3"
-      },
-      "locked": {
-        "lastModified": 1665673695,
-        "narHash": "sha256-NMhaJU6hKNmWsoQWb36wH7q4hZToJLNDw1+hd3ltPcE=",
-        "ref": "refs/heads/master",
-        "rev": "f5c7fcd862ee0a7eb1f0cd1a7f00d424541629cf",
-        "revCount": 9,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-gen-nix"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-gen-nix"
-      }
-    },
-    "horizon-platform": {
-      "inputs": {
-        "flake-utils": "flake-utils_3",
-        "horizon-gen-nix": "horizon-gen-nix_2",
-        "lint-utils": "lint-utils_3",
-        "nixpkgs": "nixpkgs_5"
-      },
-      "locked": {
-        "lastModified": 1665756238,
-        "narHash": "sha256-XdDSBaOfs4JGI1dqa/uQo5XTUh4JEWH0yOjnhC8W+rQ=",
-        "ref": "refs/heads/master",
-        "rev": "cd60f4c95f1d217b9ed0c5046f59aeab5ce46482",
-        "revCount": 133,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-platform"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-platform"
-      }
-    },
-    "horizon-platform_2": {
-      "inputs": {
-        "Cabal": "Cabal",
-        "all-cabal-hashes": "all-cabal-hashes",
-        "cache-effectful": "cache-effectful",
-        "cborg": "cborg",
-        "compactable": "compactable",
-        "cryptohash-sha1": "cryptohash-sha1",
-        "doctest": "doctest",
-        "double-conversion": "double-conversion",
-        "ed25519": "ed25519",
-        "ema": "ema",
-        "flake-parts": "flake-parts",
-        "flake-utils": "flake-utils_5",
-        "ghc-exactprint": "ghc-exactprint",
-        "haskell-src-meta": "haskell-src-meta",
-        "hedgehog-golden": "hedgehog-golden",
-        "hlint": "hlint",
-        "hnix": "hnix",
-        "lint-utils": "lint-utils",
-        "memory": "memory",
-        "nixpkgs": "nixpkgs_2",
-        "polysemy": "polysemy",
-        "quickcheck-dynamic": "quickcheck-dynamic",
-        "servant": "servant",
-        "sydtest": "sydtest",
-        "tasty": "tasty",
-        "tasty-hedgehog": "tasty-hedgehog",
-        "unicode-data": "unicode-data"
-      },
-      "locked": {
-        "lastModified": 1665142826,
-        "narHash": "sha256-KizqMUsjDrL7OhG41XVtKN4abWbaAPGT4cZxovgJIZ4=",
-        "ref": "refs/heads/master",
-        "rev": "bfde994492bcbbb732223051be69cca2311ef79d",
-        "revCount": 122,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-platform"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/horizon/horizon-platform"
-      }
-    },
-    "lint-utils": {
-      "inputs": {
-        "flake-utils": "flake-utils_6",
-        "nixpkgs": "nixpkgs"
-      },
-      "locked": {
-        "lastModified": 1655192403,
-        "narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
-        "ref": "master",
-        "rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
-        "revCount": 28,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      }
-    },
-    "lint-utils_2": {
-      "inputs": {
-        "flake-utils": "flake-utils_7",
-        "nixpkgs": [
-          "horizon-gen-nix",
-          "horizon-platform",
-          "horizon-gen-nix",
-          "nixpkgs"
-        ]
-      },
-      "locked": {
-        "lastModified": 1655192403,
-        "narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
-        "ref": "refs/heads/master",
-        "rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
-        "revCount": 28,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      }
-    },
-    "lint-utils_3": {
-      "inputs": {
-        "flake-utils": "flake-utils_8",
-        "nixpkgs": "nixpkgs_4"
-      },
-      "locked": {
-        "lastModified": 1655192403,
-        "narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
-        "ref": "master",
-        "rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
-        "revCount": 28,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      }
-    },
-    "lint-utils_4": {
-      "inputs": {
-        "flake-utils": "flake-utils_9",
-        "nixpkgs": [
-          "horizon-gen-nix",
-          "nixpkgs"
-        ]
-      },
-      "locked": {
-        "lastModified": 1655192403,
-        "narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
-        "ref": "refs/heads/master",
-        "rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
-        "revCount": 28,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      }
-    },
-    "lint-utils_5": {
-      "inputs": {
-        "flake-utils": "flake-utils_10",
-        "nixpkgs": "nixpkgs_7"
-      },
-      "locked": {
-        "lastModified": 1655192403,
-        "narHash": "sha256-XyKDvRGDh8VXA6zN8DUTnDaTMrk0MxMKg70MaAX1A2Y=",
-        "ref": "refs/heads/master",
-        "rev": "a7ae54afdc4c05a5aabf202d5a76d02705eb6147",
-        "revCount": 28,
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      },
-      "original": {
-        "type": "git",
-        "url": "https://gitlab.homotopic.tech/nix/lint-utils"
-      }
-    },
-    "memory": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1653425739,
-        "narHash": "sha256-X4XcCEouvpX19d1dr3eg3L6s/aaRccuAsl980/FrRmE=",
-        "owner": "parsonsmatt",
-        "repo": "hs-memory",
-        "rev": "0f760c8ba0b7d5aacf04a7294e87e5e4fff53f40",
-        "type": "github"
-      },
-      "original": {
-        "owner": "parsonsmatt",
-        "repo": "hs-memory",
-        "rev": "0f760c8ba0b7d5aacf04a7294e87e5e4fff53f40",
-        "type": "github"
-      }
-    },
-    "nixpkgs": {
-      "locked": {
-        "lastModified": 1644525281,
-        "narHash": "sha256-D3VuWLdnLmAXIkooWAtbTGSQI9Fc1lkvAr94wTxhnTU=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "48d63e924a2666baf37f4f14a18f19347fbd54a2",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixos-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_2": {
-      "locked": {
-        "lastModified": 1664556388,
-        "narHash": "sha256-04xEtpc0AqLhgDtJ/kT+aZGPrXOI+1a3obf6iWrJQXs=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "511213e0ece88be30a4bd73488f7d1cd85879654",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_3": {
-      "locked": {
-        "lastModified": 1665197809,
-        "narHash": "sha256-dRUzv/zNYV2EYtnxFG31pPBk0nErT+MBTu6ZJHm1o2A=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "7b06206fa24198912cea58de690aa4943f238fbf",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_4": {
-      "locked": {
-        "lastModified": 1644525281,
-        "narHash": "sha256-D3VuWLdnLmAXIkooWAtbTGSQI9Fc1lkvAr94wTxhnTU=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "48d63e924a2666baf37f4f14a18f19347fbd54a2",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixos-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_5": {
-      "locked": {
-        "lastModified": 1664556388,
-        "narHash": "sha256-04xEtpc0AqLhgDtJ/kT+aZGPrXOI+1a3obf6iWrJQXs=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "511213e0ece88be30a4bd73488f7d1cd85879654",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_6": {
-      "locked": {
-        "lastModified": 1665830552,
-        "narHash": "sha256-qel2bZ9TqfW8WzWCWdjuCy4bVFhhGsEeqFv/bj1ka2s=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "26b7e6ab6a864c3e7e077bcb27a49f0480b9894a",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_7": {
-      "locked": {
-        "lastModified": 1644525281,
-        "narHash": "sha256-D3VuWLdnLmAXIkooWAtbTGSQI9Fc1lkvAr94wTxhnTU=",
-        "owner": "NixOS",
-        "repo": "nixpkgs",
-        "rev": "48d63e924a2666baf37f4f14a18f19347fbd54a2",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NixOS",
-        "ref": "nixos-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "nixpkgs_8": {
-      "locked": {
-        "lastModified": 1665830552,
-        "narHash": "sha256-qel2bZ9TqfW8WzWCWdjuCy4bVFhhGsEeqFv/bj1ka2s=",
-        "owner": "nixos",
-        "repo": "nixpkgs",
-        "rev": "26b7e6ab6a864c3e7e077bcb27a49f0480b9894a",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nixos",
-        "ref": "nixpkgs-unstable",
-        "repo": "nixpkgs",
-        "type": "github"
-      }
-    },
-    "polysemy": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1662391458,
-        "narHash": "sha256-ny1RDNdNbCehHEpBfEGBtsM+oWxmRJmNIlylx3iVwus=",
-        "owner": "locallycompact",
-        "repo": "polysemy",
-        "rev": "bd944ca000c1ca69602d4723e3859af431b9d0c4",
-        "type": "github"
-      },
-      "original": {
-        "owner": "locallycompact",
-        "ref": "ghc-942",
-        "repo": "polysemy",
-        "type": "github"
-      }
-    },
-    "quickcheck-dynamic": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664439350,
-        "narHash": "sha256-D58nHr/UmspU1LWxwvk9/NyUKzdlCSk1UYrHfWYcPqU=",
-        "owner": "input-output-hk",
-        "repo": "quickcheck-dynamic",
-        "rev": "d017f6a534e654312e6249c92a408fe354922f5f",
-        "type": "github"
-      },
-      "original": {
-        "owner": "input-output-hk",
-        "repo": "quickcheck-dynamic",
-        "type": "github"
-      }
-    },
-    "root": {
-      "inputs": {
-        "flake-utils": "flake-utils",
-        "horizon-gen-nix": "horizon-gen-nix",
-        "lint-utils": "lint-utils_5",
-        "nixpkgs": "nixpkgs_8"
-      }
-    },
-    "servant": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664361303,
-        "narHash": "sha256-sDZsKGZV3I9l7sx2lHGU/bGmtnKbTHqHsXSkS0id2zg=",
-        "owner": "TeofilC",
-        "repo": "servant",
-        "rev": "76fc90a51f915230bbe1e0d1dbe9727fcdc7a0fc",
-        "type": "github"
-      },
-      "original": {
-        "owner": "TeofilC",
-        "ref": "ghc-9.4",
-        "repo": "servant",
-        "type": "github"
-      }
-    },
-    "sydtest": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1662748704,
-        "narHash": "sha256-SpSYPSdVHKAeW2h7P1GdMhxuE6htWNdUJNN3N8vE57I=",
-        "owner": "NorfairKing",
-        "repo": "sydtest",
-        "rev": "7e1686bc0ff98c56afb1bf20b3b29f7a634feedd",
-        "type": "github"
-      },
-      "original": {
-        "owner": "NorfairKing",
-        "repo": "sydtest",
-        "type": "github"
-      }
-    },
-    "tasty": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1663784811,
-        "narHash": "sha256-YbPOBdGyUkyAF1M1ngRVtxWyEjmG2/Xbde4VSG/if1U=",
-        "owner": "UnkindPartition",
-        "repo": "tasty",
-        "rev": "207d3453a64b414593512c1e968171d64a8dbe61",
-        "type": "github"
-      },
-      "original": {
-        "owner": "UnkindPartition",
-        "repo": "tasty",
-        "type": "github"
-      }
-    },
-    "tasty-hedgehog": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1662119872,
-        "narHash": "sha256-BS4h27omxUGduez6ag0bLOG1nqMDvql+bOJ/ApXmhOI=",
-        "owner": "locallycompact",
-        "repo": "tasty-hedgehog",
-        "rev": "4a3477578ed21aa82e5b74f387d08e5d750635d6",
-        "type": "github"
-      },
-      "original": {
-        "owner": "locallycompact",
-        "repo": "tasty-hedgehog",
-        "type": "github"
-      }
-    },
-    "unicode-data": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1664354489,
-        "narHash": "sha256-fQlOCE0iUUv+SLRCDExzGk4GiDIHeOEsJAW1RRbTMiE=",
-        "owner": "composewell",
-        "repo": "unicode-data",
-        "rev": "bf8bb533650119b3ce196aa95b009c6f4ebc1f04",
-        "type": "github"
-      },
-      "original": {
-        "owner": "composewell",
-        "repo": "unicode-data",
-        "type": "github"
-      }
-    }
-  },
-  "root": "root",
-  "version": 7
-}