diff --git a/README.md b/README.md
index 219651d..fece9af 100644
--- a/README.md
+++ b/README.md
@@ -271,8 +271,3 @@ come with its own limitations.
 Providing `prediction-testing` as a pure library is not as satisfying and
 convenient as a dedicated binary, but is both simpler, and more easily
 customizable.
-
-## TODO
-
-- sqlite backend
-- Basic performance measurements.
diff --git a/package.json b/package.json
index 6394264..5d679e3 100644
--- a/package.json
+++ b/package.json
@@ -25,7 +25,7 @@
         "eslint-plugin-unicorn": "^51.0.1",
         "eslint-plugin-unused-imports": "^3.1.0",
         "prettier": "^3.2.5",
-        "tsx": "^4.7.1",
+        "tsx": "^4.7.3",
         "typescript": "^5.4.5"
     }
 }
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index a63053f..0ea3836 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -57,8 +57,8 @@ importers:
         specifier: ^3.2.5
         version: 3.2.5
       tsx:
-        specifier: ^4.7.1
-        version: 4.7.1
+        specifier: ^4.7.3
+        version: 4.7.3
       typescript:
         specifier: ^5.4.5
         version: 5.4.5
@@ -69,95 +69,98 @@ importers:
         specifier: workspace:*
         version: link:../core/dist
       '@effect/cli':
-        specifier: ^0.36.6
-        version: 0.36.6(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(@effect/printer-ansi@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3))(@effect/printer@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3))(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)
+        specifier: ^0.36.14
+        version: 0.36.14(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(@effect/printer-ansi@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0))(@effect/printer@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0))(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)
       '@effect/platform':
-        specifier: ^0.50.1
-        version: 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
+        specifier: ^0.51.0
+        version: 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
       '@effect/platform-node':
-        specifier: ^0.47.1
-        version: 0.47.1(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)
+        specifier: ^0.48.0
+        version: 0.48.0(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)
       '@effect/schema':
-        specifier: ^0.66.4
-        version: 0.66.4(effect@3.0.3)(fast-check@3.17.2)
+        specifier: ^0.66.12
+        version: 0.66.12(effect@3.1.0)(fast-check@3.18.0)
       ansi-colors:
         specifier: ^4.1.3
         version: 4.1.3
       effect:
-        specifier: 3.0.3
-        version: 3.0.3
+        specifier: 3.1.0
+        version: 3.1.0
     devDependencies:
       '@babel/cli':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@babel/core':
-        specifier: ^7.24.3
-        version: 7.24.3
+        specifier: ^7.24.4
+        version: 7.24.4
       '@babel/plugin-transform-export-namespace-from':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@babel/plugin-transform-modules-commonjs':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@creative-introvert/eslint-config':
         specifier: ^0.3.2
-        version: 0.3.2(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.0))(eslint-plugin-sort-destructure-keys@1.5.0(eslint@9.1.0))(eslint-plugin-unicorn@52.0.0(eslint@9.1.0))(eslint-plugin-unused-imports@3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5)(typescript@5.4.5)
+        version: 0.3.2(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.1))(eslint-plugin-sort-destructure-keys@2.0.0(eslint@9.1.1))(eslint-plugin-unicorn@52.0.0(eslint@9.1.1))(eslint-plugin-unused-imports@3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5)(typescript@5.4.5)
       '@creative-introvert/prettier-config':
         specifier: ^0.2.0
         version: 0.2.0
       babel-plugin-annotate-pure-calls:
         specifier: ^0.4.0
-        version: 0.4.0(@babel/core@7.24.3)
+        version: 0.4.0(@babel/core@7.24.4)
       ts-node:
         specifier: ^10.9.2
         version: 10.9.2(@types/node@20.12.7)(typescript@5.4.5)
       type-fest:
-        specifier: ^4.14.0
-        version: 4.14.0
+        specifier: ^4.17.0
+        version: 4.17.0
     publishDirectory: dist
 
   workspace/core:
     dependencies:
       '@effect/platform':
-        specifier: ^0.50.1
-        version: 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
+        specifier: ^0.51.0
+        version: 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
       '@effect/platform-node':
-        specifier: ^0.47.1
-        version: 0.47.1(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)
+        specifier: ^0.48.0
+        version: 0.48.0(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)
       '@effect/schema':
-        specifier: ^0.66.4
-        version: 0.66.4(effect@3.0.3)(fast-check@3.17.2)
+        specifier: ^0.66.12
+        version: 0.66.12(effect@3.1.0)(fast-check@3.18.0)
       ansi-colors:
         specifier: ^4.1.3
         version: 4.1.3
       effect:
-        specifier: 3.0.3
-        version: 3.0.3
+        specifier: 3.1.0
+        version: 3.1.0
+      jsondiffpatch:
+        specifier: ^0.6.0
+        version: 0.6.0
     devDependencies:
       '@babel/cli':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@babel/core':
-        specifier: ^7.24.3
-        version: 7.24.3
+        specifier: ^7.24.4
+        version: 7.24.4
       '@babel/plugin-transform-export-namespace-from':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@babel/plugin-transform-modules-commonjs':
         specifier: ^7.24.1
-        version: 7.24.1(@babel/core@7.24.3)
+        version: 7.24.1(@babel/core@7.24.4)
       '@creative-introvert/eslint-config':
         specifier: ^0.3.2
-        version: 0.3.2(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.0))(eslint-plugin-sort-destructure-keys@1.5.0(eslint@9.1.0))(eslint-plugin-unicorn@52.0.0(eslint@9.1.0))(eslint-plugin-unused-imports@3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5)(typescript@5.4.5)
+        version: 0.3.2(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.1))(eslint-plugin-sort-destructure-keys@2.0.0(eslint@9.1.1))(eslint-plugin-unicorn@52.0.0(eslint@9.1.1))(eslint-plugin-unused-imports@3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5)(typescript@5.4.5)
       '@creative-introvert/prettier-config':
         specifier: ^0.2.0
         version: 0.2.0
       babel-plugin-annotate-pure-calls:
         specifier: ^0.4.0
-        version: 0.4.0(@babel/core@7.24.3)
+        version: 0.4.0(@babel/core@7.24.4)
       type-fest:
-        specifier: ^4.14.0
-        version: 4.14.0
+        specifier: ^4.17.0
+        version: 4.17.0
     publishDirectory: dist
 
   workspace/examples:
@@ -169,27 +172,27 @@ importers:
         specifier: workspace:*
         version: link:../cli/dist
       '@effect/platform':
-        specifier: ^0.50.1
-        version: 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
+        specifier: ^0.51.0
+        version: 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
       '@effect/platform-node':
-        specifier: ^0.47.1
-        version: 0.47.1(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)
+        specifier: ^0.48.0
+        version: 0.48.0(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)
       '@effect/schema':
-        specifier: ^0.66.4
-        version: 0.66.4(effect@3.0.3)(fast-check@3.17.2)
+        specifier: ^0.66.12
+        version: 0.66.12(effect@3.1.0)(fast-check@3.18.0)
       ansi-colors:
         specifier: ^4.1.3
         version: 4.1.3
-      deep-object-diff:
-        specifier: ^1.1.9
-        version: 1.1.9
       effect:
-        specifier: 3.0.3
-        version: 3.0.3
+        specifier: 3.1.0
+        version: 3.1.0
+      jsondiffpatch:
+        specifier: ^0.6.0
+        version: 0.6.0
     devDependencies:
       '@creative-introvert/eslint-config':
         specifier: ^0.3.2
-        version: 0.3.2(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.0))(eslint-plugin-sort-destructure-keys@1.5.0(eslint@9.1.0))(eslint-plugin-unicorn@52.0.0(eslint@9.1.0))(eslint-plugin-unused-imports@3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5)(typescript@5.4.5)
+        version: 0.3.2(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.1))(eslint-plugin-sort-destructure-keys@2.0.0(eslint@9.1.1))(eslint-plugin-unicorn@52.0.0(eslint@9.1.1))(eslint-plugin-unused-imports@3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5)(typescript@5.4.5)
       '@creative-introvert/prettier-config':
         specifier: ^0.2.0
         version: 0.2.0
@@ -225,16 +228,16 @@ packages:
     resolution: {integrity: sha512-y5+tLQyV8pg3fsiln67BVLD1P13Eg4lh5RW9mF0zUuvLrv9uIQ4MCL+CRT+FTsBlBjcIan6PGsLcBN0m3ClUyQ==}
     engines: {node: '>=6.9.0'}
 
-  '@babel/compat-data@7.24.1':
-    resolution: {integrity: sha512-Pc65opHDliVpRHuKfzI+gSA4zcgr65O4cl64fFJIWEEh8JoHIHh0Oez1Eo8Arz8zq/JhgKodQaxEwUPRtZylVA==}
+  '@babel/compat-data@7.24.4':
+    resolution: {integrity: sha512-vg8Gih2MLK+kOkHJp4gBEIkyaIi00jgWot2D9QOmmfLC8jINSOzmCLta6Bvz/JSBCqnegV0L80jhxkol5GWNfQ==}
     engines: {node: '>=6.9.0'}
 
-  '@babel/core@7.24.3':
-    resolution: {integrity: sha512-5FcvN1JHw2sHJChotgx8Ek0lyuh4kCKelgMTTqhYJJtloNvUfpAFMeNQUtdlIaktwrSV9LtCdqwk48wL2wBacQ==}
+  '@babel/core@7.24.4':
+    resolution: {integrity: sha512-MBVlMXP+kkl5394RBLSxxk/iLTeVGuXTV3cIDXavPpMMqnSnt6apKgan/U8O3USWZCWZT/TbgfEpKa4uMgN4Dg==}
     engines: {node: '>=6.9.0'}
 
-  '@babel/generator@7.24.1':
-    resolution: {integrity: sha512-DfCRfZsBcrPEHUfuBMgbJ1Ut01Y/itOs+hY2nFLgqsqXd52/iSiVq5TITtUasIUgm+IIKdY2/1I7auiQOEeC9A==}
+  '@babel/generator@7.24.4':
+    resolution: {integrity: sha512-Xd6+v6SnjWVx/nus+y0l1sxMOTOMBkyL4+BIdbALyatQnAe/SRVjANeDPSCYaX+i1iJmuGSKf3Z+E+V/va1Hvw==}
     engines: {node: '>=6.9.0'}
 
   '@babel/helper-compilation-targets@7.23.6':
@@ -283,12 +286,16 @@ packages:
     resolution: {integrity: sha512-Y4OZ+ytlatR8AI+8KZfKuL5urKp7qey08ha31L8b3BwewJAoJamTzyvxPR/5D+KkdJCGPq/+8TukHBlY10FX9A==}
     engines: {node: '>=6.9.0'}
 
+  '@babel/helper-validator-identifier@7.24.5':
+    resolution: {integrity: sha512-3q93SSKX2TWCG30M2G2kwaKeTYgEUp5Snjuj8qm729SObL6nbtUldAi37qbxkD5gg3xnBio+f9nqpSepGZMvxA==}
+    engines: {node: '>=6.9.0'}
+
   '@babel/helper-validator-option@7.23.5':
     resolution: {integrity: sha512-85ttAOMLsr53VgXkTbkx8oA6YTfT4q7/HzXSLEYmjcSTJPMPQtvq1BD79Byep5xMUYbGRzEpDsjUf3dyp54IKw==}
     engines: {node: '>=6.9.0'}
 
-  '@babel/helpers@7.24.1':
-    resolution: {integrity: sha512-BpU09QqEe6ZCHuIHFphEFgvNSrubve1FtyMton26ekZ85gRGi6LrTF7zArARp2YvyFxloeiRmtSCq5sjh1WqIg==}
+  '@babel/helpers@7.24.4':
+    resolution: {integrity: sha512-FewdlZbSiwaVGlgT1DPANDuCHaDMiOo+D/IDYRFYjHOuv66xMSJ7fQwwODwRNAPkADIO/z1EoF/l2BCWlWABDw==}
     engines: {node: '>=6.9.0'}
 
   '@babel/highlight@7.23.4':
@@ -299,8 +306,8 @@ packages:
     resolution: {integrity: sha512-Yac1ao4flkTxTteCDZLEvdxg2fZfz1v8M4QpaGypq/WPDqg3ijHYbDfs+LG5hvzSoqaSZ9/Z9lKSP3CjZjv+pA==}
     engines: {node: '>=6.9.0'}
 
-  '@babel/parser@7.24.1':
-    resolution: {integrity: sha512-Zo9c7N3xdOIQrNip7Lc9wvRPzlRtovHVE4lkz8WEDr7uYh/GMQhSiIgFxGIArRHYdJE5kxtZjAf8rT0xhdLCzg==}
+  '@babel/parser@7.24.4':
+    resolution: {integrity: sha512-zTvEBcghmeBma9QIGunWevvBAp4/Qu9Bdq+2k0Ot4fVMD6v3dsC9WOcRSKk7tRRyBM/53yKMJko9xOatGQAwSg==}
     engines: {node: '>=6.0.0'}
     hasBin: true
 
@@ -419,55 +426,55 @@ packages:
     resolution: {integrity: sha512-IchNf6dN4tHoMFIn/7OE8LWZ19Y6q/67Bmf6vnGREv8RSbBVb9LPJxEcnwrcwX6ixSvaiGoomAUvu4YSxXrVgw==}
     engines: {node: '>=12'}
 
-  '@effect/cli@0.36.6':
-    resolution: {integrity: sha512-g3o2prET/V6jb8RDaOcrFST4XGsEyaqY3GHMfnyavSo4PP7FhRoPMNSYGpOXRqUXt3pn3XWonPTDtdbQzviT0w==}
+  '@effect/cli@0.36.14':
+    resolution: {integrity: sha512-UWpmqvRALyo3c/EGHS6JoWOb+DKXKec8dbTJRCnGY41F/2UNj+3SOT4n46Lr4bX+jR+7bm+m6Nsa+Z3cJ649VQ==}
     peerDependencies:
-      '@effect/platform': ^0.50.1
-      '@effect/printer': ^0.33.3
-      '@effect/printer-ansi': ^0.33.3
-      '@effect/schema': ^0.66.4
-      effect: ^3.0.3
-
-  '@effect/platform-node-shared@0.4.6':
-    resolution: {integrity: sha512-cjyfoSZ392gypm1SxViMZGtcahaxuPQee6r69hdXU9iX9fEUF5mq0JUWs8CgFmiaWPhCkO+FaxH+qV1g60Lpew==}
+      '@effect/platform': ^0.51.0
+      '@effect/printer': ^0.33.9
+      '@effect/printer-ansi': ^0.33.9
+      '@effect/schema': ^0.66.12
+      effect: ^3.1.0
+
+  '@effect/platform-node-shared@0.4.14':
+    resolution: {integrity: sha512-Utp0YIVRkL5xuq1PEMw4e6Cv2r/7QPnGMDYws4M84x8SYXtC65L2ILZUyw/2dR+65eoC2q9Jdj9/gjIlpmBxmQ==}
     peerDependencies:
-      '@effect/platform': ^0.50.1
-      effect: ^3.0.3
+      '@effect/platform': ^0.51.0
+      effect: ^3.1.0
 
-  '@effect/platform-node@0.47.1':
-    resolution: {integrity: sha512-3HC0uVpFcelt1XlCLA0sCshCpXfuOHUwPP6iOsEPMF5wGjvQtC1wOQhZEcV+G+VJ70oFcd9Tw4fLlkyDHpLBYg==}
+  '@effect/platform-node@0.48.0':
+    resolution: {integrity: sha512-/YdNMl+yY92kMSUQBKcwqKJOOHYB2GGveGDsdn3CgmqAd0GQXISzbAH3JaK098ChO8I2EdF7MuqLp1NOvzyCmw==}
     peerDependencies:
-      '@effect/platform': ^0.50.1
-      effect: ^3.0.3
+      '@effect/platform': ^0.51.0
+      effect: ^3.1.0
 
-  '@effect/platform@0.50.1':
-    resolution: {integrity: sha512-cpBDXE8fmGYNHcje6SBScyN+OqKxyp5T8OhD/Hnc/rz5KqQ7Cya0gqQVfLCSXBTFqN9TVXpxM1YiTAdUHUsVKg==}
+  '@effect/platform@0.51.0':
+    resolution: {integrity: sha512-j5kV5jNsMYjBARYiCYdxuLe5FVqnOpYo8Ox3K0QupmsyUS0bvZ9v+xdhc29e+1Rn7Vtm1YlBsoY8Gi7HZPJAiw==}
     peerDependencies:
-      '@effect/schema': ^0.66.4
-      effect: ^3.0.3
+      '@effect/schema': ^0.66.12
+      effect: ^3.1.0
 
-  '@effect/printer-ansi@0.33.3':
-    resolution: {integrity: sha512-PIpLAOmoedt1fmsMWb7SUD8qqgJ+9NNlSMV0szT7yGCTeHvGbNXC31/yS2IuwjuQy3NNQRzeoxzVS4gpztMnfQ==}
+  '@effect/printer-ansi@0.33.9':
+    resolution: {integrity: sha512-Nujq1Qkltb4Q2WyunCa3V2iiD0irGDeYz6kgskh01lP7uO6ZpzrXwPpcTSzFy+s8VFG1lWd0ZDAVDZEAjpx3CA==}
     peerDependencies:
-      '@effect/typeclass': ^0.24.3
-      effect: ^3.0.3
+      '@effect/typeclass': ^0.24.9
+      effect: ^3.1.0
 
-  '@effect/printer@0.33.3':
-    resolution: {integrity: sha512-fY0THoDrRT0J/Br3HPMOzv15xGvweG13IH+pEi9j49BSI9dFPqw5N3ethN3bw77d6fMwxxoLqmE2Py5MaO4ivw==}
+  '@effect/printer@0.33.9':
+    resolution: {integrity: sha512-qrpX1p2O9AfE+LfsaBz2Okg5s1mExpQ0eK2nNKvwMG2C7Lvbe8lPT0hemtmNy40yeDMf9QyoLx+o0QIR/3uOgA==}
     peerDependencies:
-      '@effect/typeclass': ^0.24.3
-      effect: ^3.0.3
+      '@effect/typeclass': ^0.24.9
+      effect: ^3.1.0
 
-  '@effect/schema@0.66.4':
-    resolution: {integrity: sha512-UQJxoqdGLgVBCkdArChNcTuofsfhXXZhRhptYQ9ZSEqyDZ0jnDGdGpNzMse4VGEkpdw+7UjXQ/nXjVv1wuFpPw==}
+  '@effect/schema@0.66.12':
+    resolution: {integrity: sha512-14X3D2FxTFDtll41MWw5OkLQCWqcs6pLYhs38oRK1o7rQ9gM2fdL4sw/gJu4dayAqv122GMgoIEOrzO5PyBuYA==}
     peerDependencies:
-      effect: ^3.0.3
+      effect: ^3.1.0
       fast-check: ^3.13.2
 
-  '@effect/typeclass@0.24.3':
-    resolution: {integrity: sha512-fULQfF/lbNroUHu+1DUBVqYjRaS6qq5nSM5fHuK+3hTFfCPZy1CFKqlpjw2mxsGcwKaL7ettT9mwOb4ldzT7QQ==}
+  '@effect/typeclass@0.24.9':
+    resolution: {integrity: sha512-MTrKzg436O230+V+Fi864XQsnzJWg0etNhJEXH1tVMeYUCXA0TULTY7J2WGlA39F5XKkiYcObfGEez0bHqsMJA==}
     peerDependencies:
-      effect: ^3.0.3
+      effect: ^3.1.0
 
   '@esbuild/aix-ppc64@0.19.12':
     resolution: {integrity: sha512-bmoCYyWdEL3wDQIVbcyzRyeKLgk2WtWLTWz1ZIAZF/EGbNOwSA6ew3PftJ1PqMiOOGu0OyFMzG53L0zqIpPeNA==}
@@ -789,6 +796,9 @@ packages:
   '@tsconfig/node16@1.0.4':
     resolution: {integrity: sha512-vxhUy4J8lyeyinH7Azl1pdd43GJhZH/tP2weN8TntQblOY+A0XbT8DJk1/oCPuOOyg/Ja757rG0CgHcWC8OfMA==}
 
+  '@types/diff-match-patch@1.0.36':
+    resolution: {integrity: sha512-xFdR6tkm0MWvBfO8xXCSsinYxHcqkQUlcHeSpMC2ukzOb6lwQAfDmW+Qt0AvlGd8HpsS28qKsB+oPeJn9I39jg==}
+
   '@types/json-schema@7.0.15':
     resolution: {integrity: sha512-5+fP8P8MFNC+AyZCDxrB2pkZFPGzqQWUzpSeuuVLvm8VMcorNYavBqoFcxK8bQz4Qsbn4oUEEem4wDLfcysGHA==}
 
@@ -827,8 +837,8 @@ packages:
       typescript:
         optional: true
 
-  '@typescript-eslint/eslint-plugin@7.7.0':
-    resolution: {integrity: sha512-GJWR0YnfrKnsRoluVO3PRb9r5aMZriiMMM/RHj5nnTrBy1/wIgk76XCtCKcnXGjpZQJQRFtGV9/0JJ6n30uwpQ==}
+  '@typescript-eslint/eslint-plugin@7.8.0':
+    resolution: {integrity: sha512-gFTT+ezJmkwutUPmB0skOj3GZJtlEGnlssems4AjkVweUPGj7jRwwqg0Hhg7++kPGJqKtTYx+R05Ftww372aIg==}
     engines: {node: ^18.18.0 || >=20.0.0}
     peerDependencies:
       '@typescript-eslint/parser': ^7.0.0
@@ -848,8 +858,8 @@ packages:
       typescript:
         optional: true
 
-  '@typescript-eslint/parser@7.7.0':
-    resolution: {integrity: sha512-fNcDm3wSwVM8QYL4HKVBggdIPAy9Q41vcvC/GtDobw3c4ndVT3K6cqudUmjHPw8EAp4ufax0o58/xvWaP2FmTg==}
+  '@typescript-eslint/parser@7.8.0':
+    resolution: {integrity: sha512-KgKQly1pv0l4ltcftP59uQZCi4HUYswCLbTqVZEJu7uLX8CTLyswqMLqLN+2QFz4jCptqWVV4SB7vdxcH2+0kQ==}
     engines: {node: ^18.18.0 || >=20.0.0}
     peerDependencies:
       eslint: ^8.56.0
@@ -862,8 +872,8 @@ packages:
     resolution: {integrity: sha512-68VqENG5HK27ypafqLVs8qO+RkNc7TezCduYrx8YJpXq2QGZ30vmNZGJJJC48+MVn4G2dCV8m5ZTVnzRexTVtw==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
-  '@typescript-eslint/scope-manager@7.7.0':
-    resolution: {integrity: sha512-/8INDn0YLInbe9Wt7dK4cXLDYp0fNHP5xKLHvZl3mOT5X17rK/YShXaiNmorl+/U4VKCVIjJnx4Ri5b0y+HClw==}
+  '@typescript-eslint/scope-manager@7.8.0':
+    resolution: {integrity: sha512-viEmZ1LmwsGcnr85gIq+FCYI7nO90DVbE37/ll51hjv9aG+YZMb4WDE2fyWpUR4O/UrhGRpYXK/XajcGTk2B8g==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
   '@typescript-eslint/type-utils@7.4.0':
@@ -876,8 +886,8 @@ packages:
       typescript:
         optional: true
 
-  '@typescript-eslint/type-utils@7.7.0':
-    resolution: {integrity: sha512-bOp3ejoRYrhAlnT/bozNQi3nio9tIgv3U5C0mVDdZC7cpcQEDZXvq8inrHYghLVwuNABRqrMW5tzAv88Vy77Sg==}
+  '@typescript-eslint/type-utils@7.8.0':
+    resolution: {integrity: sha512-H70R3AefQDQpz9mGv13Uhi121FNMh+WEaRqcXTX09YEDky21km4dV1ZXJIp8QjXc4ZaVkXVdohvWDzbnbHDS+A==}
     engines: {node: ^18.18.0 || >=20.0.0}
     peerDependencies:
       eslint: ^8.56.0
@@ -890,8 +900,8 @@ packages:
     resolution: {integrity: sha512-mjQopsbffzJskos5B4HmbsadSJQWaRK0UxqQ7GuNA9Ga4bEKeiO6b2DnB6cM6bpc8lemaPseh0H9B/wyg+J7rw==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
-  '@typescript-eslint/types@7.7.0':
-    resolution: {integrity: sha512-G01YPZ1Bd2hn+KPpIbrAhEWOn5lQBrjxkzHkWvP6NucMXFtfXoevK82hzQdpfuQYuhkvFDeQYbzXCjR1z9Z03w==}
+  '@typescript-eslint/types@7.8.0':
+    resolution: {integrity: sha512-wf0peJ+ZGlcH+2ZS23aJbOv+ztjeeP8uQ9GgwMJGVLx/Nj9CJt17GWgWWoSmoRVKAX2X+7fzEnAjxdvK2gqCLw==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
   '@typescript-eslint/typescript-estree@7.4.0':
@@ -903,8 +913,8 @@ packages:
       typescript:
         optional: true
 
-  '@typescript-eslint/typescript-estree@7.7.0':
-    resolution: {integrity: sha512-8p71HQPE6CbxIBy2kWHqM1KGrC07pk6RJn40n0DSc6bMOBBREZxSDJ+BmRzc8B5OdaMh1ty3mkuWRg4sCFiDQQ==}
+  '@typescript-eslint/typescript-estree@7.8.0':
+    resolution: {integrity: sha512-5pfUCOwK5yjPaJQNy44prjCwtr981dO8Qo9J9PwYXZ0MosgAbfEMB008dJ5sNo3+/BN6ytBPuSvXUg9SAqB0dg==}
     engines: {node: ^18.18.0 || >=20.0.0}
     peerDependencies:
       typescript: '*'
@@ -918,8 +928,8 @@ packages:
     peerDependencies:
       eslint: ^8.56.0
 
-  '@typescript-eslint/utils@7.7.0':
-    resolution: {integrity: sha512-LKGAXMPQs8U/zMRFXDZOzmMKgFv3COlxUQ+2NMPhbqgVm6R1w+nU1i4836Pmxu9jZAuIeyySNrN/6Rc657ggig==}
+  '@typescript-eslint/utils@7.8.0':
+    resolution: {integrity: sha512-L0yFqOCflVqXxiZyXrDr80lnahQfSOfc9ELAAZ75sqicqp2i36kEZZGuUymHNFoYOqxRT05up760b4iGsl02nQ==}
     engines: {node: ^18.18.0 || >=20.0.0}
     peerDependencies:
       eslint: ^8.56.0
@@ -928,8 +938,8 @@ packages:
     resolution: {integrity: sha512-0zkC7YM0iX5Y41homUUeW1CHtZR01K3ybjM1l6QczoMuay0XKtrb93kv95AxUGwdjGr64nNqnOCwmEl616N8CA==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
-  '@typescript-eslint/visitor-keys@7.7.0':
-    resolution: {integrity: sha512-h0WHOj8MhdhY8YWkzIF30R379y0NqyOHExI9N9KCzvmu05EgG4FumeYa3ccfKUSphyWkWQE1ybVrgz/Pbam6YA==}
+  '@typescript-eslint/visitor-keys@7.8.0':
+    resolution: {integrity: sha512-q4/gibTNBQNA0lGyYQCmWRS5D15n8rXh4QjK3KV+MBPlTYHpfBUT3D3PaPR/HeNiI9W6R7FvlkcGhNyAoP+caA==}
     engines: {node: ^18.18.0 || >=20.0.0}
 
   '@ungap/structured-clone@1.2.0':
@@ -1106,6 +1116,10 @@ packages:
     resolution: {integrity: sha512-oKnbhFyRIXpUuez8iBMmyEa4nbj4IOQyuhc/wy9kY7/WVPcwIO9VA668Pu8RkO7+0G76SLROeyw9CpQ061i4mA==}
     engines: {node: '>=10'}
 
+  chalk@5.3.0:
+    resolution: {integrity: sha512-dLitG79d+GV1Nb/VYcCDFivJeK1hiukt9QjRNVOsUtTy1rR1YJsmpGGTZ3qJos+uw7WmWF4wUwBd9jxjocFC2w==}
+    engines: {node: ^12.17.0 || ^14.13 || >=16.0.0}
+
   chardet@0.7.0:
     resolution: {integrity: sha512-mT8iDcrh03qDGRRmoA2hmBJnxpllMR+0/0qlzjqZES6NdiWDcZkCNAk4rPFZ9Q85r27unkiNNg8ZOiwZXBHwcA==}
 
@@ -1231,9 +1245,6 @@ packages:
   deep-is@0.1.4:
     resolution: {integrity: sha512-oIPzksmTg4/MriiaYGO+okXDT7ztn/w3Eptv/+gSIdMdKsJo0u4CfYNFJPy+4SKMuCqGw2wxnA+URMg3t8a/bQ==}
 
-  deep-object-diff@1.1.9:
-    resolution: {integrity: sha512-Rn+RuwkmkDwCi2/oXOFS9Gsr5lJZu/yTGpK7wAaAIE75CC+LCGEZHpY6VQJa/RoJcrmaA/docWJZvYohlNkWPA==}
-
   defaults@1.0.4:
     resolution: {integrity: sha512-eFuaLoy/Rxalv2kr+lqMlUnrDWV+3j4pljOIJgLIhI058IQfWJ7vXhyEIHu+HtC738klGALYxOKDO0bQP3tg8A==}
 
@@ -1258,6 +1269,9 @@ packages:
     engines: {node: '>=0.10'}
     hasBin: true
 
+  diff-match-patch@1.0.5:
+    resolution: {integrity: sha512-IayShXAgj/QMXgB0IWmKx+rOPuGMhqm5w6jvFxmVenXKIzRqTAAsbBPT3kWQeGANj3jGgvcvv4yK6SxqYmikgw==}
+
   diff@4.0.2:
     resolution: {integrity: sha512-58lmxKSA4BNyLz+HHMUzlOEpg09FV+ev6ZMe3vJihgdxzgcwZ8VoEEPmALCZG9LmqfVoNMMKpttIYTVG6uDY7A==}
     engines: {node: '>=0.3.1'}
@@ -1278,8 +1292,8 @@ packages:
     resolution: {integrity: sha512-IrPdXQsk2BbzvCBGBOTmmSH5SodmqZNt4ERAZDmW4CT+tL8VtvinqywuANaFu4bOMWki16nqf0e4oC0QIaDr/g==}
     engines: {node: '>=10'}
 
-  effect@3.0.3:
-    resolution: {integrity: sha512-mgG+FoWrM4sny8OxDFWCpq+6LwGf9cK/JztVhxZQeZM9ZMXY+lKbdMEQmemNYce0QVAz2+YqUKwhKzOidwbZzg==}
+  effect@3.1.0:
+    resolution: {integrity: sha512-A0kUH8qeH0jS0X4ViJXf/O5qfMQBrJRsTD1xHed4jpFF5ChUP96LmseaV9LQkFbVDo791REFWTOlMPGCyM/0Ng==}
 
   electron-to-chromium@1.4.708:
     resolution: {integrity: sha512-iWgEEvREL4GTXXHKohhh33+6Y8XkPI5eHihDmm8zUk5Zo7HICEW+wI/j5kJ2tbuNUCXJ/sNXa03ajW635DiJXA==}
@@ -1445,6 +1459,12 @@ packages:
     peerDependencies:
       eslint: 3 - 8
 
+  eslint-plugin-sort-destructure-keys@2.0.0:
+    resolution: {integrity: sha512-4w1UQCa3o/YdfWaLr9jY8LfGowwjwjmwClyFLxIsToiyIdZMq3x9Ti44nDn34DtTPP7PWg96tUONKVmATKhYGQ==}
+    engines: {node: '>=12'}
+    peerDependencies:
+      eslint: 5 - 9
+
   eslint-plugin-unicorn@51.0.1:
     resolution: {integrity: sha512-MuR/+9VuB0fydoI0nIn2RDA5WISRn4AsJyNSaNKLVwie9/ONvQhxOBbkfSICBPnzKrB77Fh6CZZXjgTt/4Latw==}
     engines: {node: '>=16'}
@@ -1467,6 +1487,16 @@ packages:
       '@typescript-eslint/eslint-plugin':
         optional: true
 
+  eslint-plugin-unused-imports@3.2.0:
+    resolution: {integrity: sha512-6uXyn6xdINEpxE1MtDjxQsyXB37lfyO2yKGVVgtD7WEWQGORSOZjgrD6hBhvGv4/SO+TOlS+UnC6JppRqbuwGQ==}
+    engines: {node: ^12.22.0 || ^14.17.0 || >=16.0.0}
+    peerDependencies:
+      '@typescript-eslint/eslint-plugin': 6 - 7
+      eslint: '8'
+    peerDependenciesMeta:
+      '@typescript-eslint/eslint-plugin':
+        optional: true
+
   eslint-rule-composer@0.3.0:
     resolution: {integrity: sha512-bt+Sh8CtDmn2OajxvNO+BX7Wn4CIWMpTRm3MaiKPCQcnnlm0CS2mhui6QaoeQugs+3Kj2ESKEEGJUdVafwhiCg==}
     engines: {node: '>=4.0.0'}
@@ -1492,8 +1522,8 @@ packages:
     engines: {node: ^12.22.0 || ^14.17.0 || >=16.0.0}
     hasBin: true
 
-  eslint@9.1.0:
-    resolution: {integrity: sha512-1TCBecGFQtItia2o39P7Z4BK1X7ByNPxAiWJvwiyTGcOwYnTiiASgMpNA6a+beu8cFPhEDWvPf6mIlYUJv6sgA==}
+  eslint@9.1.1:
+    resolution: {integrity: sha512-b4cRQ0BeZcSEzPpY2PjFY70VbO32K7BStTGtBsnIGdTSEEQzBi8hPBcGQmTG2zUvFr9uLe0TK42bw8YszuHEqg==}
     engines: {node: ^18.18.0 || ^20.9.0 || >=21.1.0}
     hasBin: true
 
@@ -1533,8 +1563,8 @@ packages:
     resolution: {integrity: sha512-hMQ4CX1p1izmuLYyZqLMO/qGNw10wSv9QDCPfzXfyFrOaCSSoRfqE1Kf1s5an66J5JZC62NewG+mK49jOCtQew==}
     engines: {node: '>=4'}
 
-  fast-check@3.17.2:
-    resolution: {integrity: sha512-+3DPTxtxABLgmmVpYxrash3DHoq0cMa1jjLYNp3qqokKKhqVEaS4lbnaDKqWU5Dd6C2pEudPPBAEEQ9nUou9OQ==}
+  fast-check@3.18.0:
+    resolution: {integrity: sha512-/951xaT0kA40w0GXRsZXEwSTE7LugjZtSA/8vPgFkiPQ8wNp8tRvqWuNDHBgLxJYXtsK11e/7Q4ObkKW5BdTFQ==}
     engines: {node: '>=8.0.0'}
 
   fast-decode-uri-component@1.0.1:
@@ -1657,6 +1687,9 @@ packages:
   get-tsconfig@4.7.2:
     resolution: {integrity: sha512-wuMsz4leaj5hbGgg4IvDU0bqJagpftG5l5cXIAvo8uZrqn0NJqwtfupTN00VnkQJPcIRrxYrm1Ue24btpCha2A==}
 
+  get-tsconfig@4.7.3:
+    resolution: {integrity: sha512-ZvkrzoUA0PQZM6fy6+/Hce561s+faD1rsNwhnO5FelNjyy7EMGJ3Rz1AQ8GYDWjhRs/7dBLOEJvhK8MiEJOAFg==}
+
   glob-parent@5.1.2:
     resolution: {integrity: sha512-AOIgSQCepiJYwP3ARnGx+5VnTu2HBYdzbGP45eLw1vr3zB3vZLeyed1sC9hnbcOc9/SrMyM5RPQrkGz4aS9Zow==}
     engines: {node: '>= 6'}
@@ -1998,6 +2031,11 @@ packages:
     engines: {node: '>=6'}
     hasBin: true
 
+  jsondiffpatch@0.6.0:
+    resolution: {integrity: sha512-3QItJOXp2AP1uv7waBkao5nCvhEv+QmJAd38Ybq7wNI74Q+BBmnLn4EDKz6yI9xGAIQoUF87qHt+kc1IVxB4zQ==}
+    engines: {node: ^18.0.0 || >=20.0.0}
+    hasBin: true
+
   jsonfile@4.0.0:
     resolution: {integrity: sha512-m6F1R3z8jjlf2imQHS2Qez5sjKWQzbuuhuJ/FKYFRZvPE3PuHcSMVZzfsLhGVOkfd20obL5SWEBew5ShlquNxg==}
 
@@ -2191,6 +2229,10 @@ packages:
     resolution: {integrity: sha512-JjCoypp+jKn1ttEFExxhetCKeJt9zhAgAve5FXHixTvFDW/5aEktX9bufBKLRRMdU7bNtpLfcGu94B3cdEJgjg==}
     engines: {node: '>= 0.8.0'}
 
+  optionator@0.9.4:
+    resolution: {integrity: sha512-6IpQ7mKUxRcZNLIObR0hz7lxsapSSIYNZJwXPGeF0mTVqGKFIXj1DQcMoT22S3ROcLyY/rz0PWaWZ9ayWmad9g==}
+    engines: {node: '>= 0.8.0'}
+
   os-tmpdir@1.0.2:
     resolution: {integrity: sha512-D2FR03Vir7FIu45XBY20mTb+/ZSWB00sjU9jdQXt83gDrI4Ztz5Fs7/yy74g2N5SVQY4xY1qDr4rNddwYRVX0g==}
     engines: {node: '>=0.10.0'}
@@ -2638,8 +2680,8 @@ packages:
   tslib@2.6.2:
     resolution: {integrity: sha512-AEYxH93jGFPn/a2iVAwW87VuUIkR1FVUKB77NwMF7nBTDkDrrT/Hpt/IrCJ0QXhW27jTBDcf5ZY7w6RiqTMw2Q==}
 
-  tsx@4.7.1:
-    resolution: {integrity: sha512-8d6VuibXHtlN5E3zFkgY8u4DX7Y3Z27zvvPKVmLon/D4AjuKzarkUBTLDBgj9iTQ0hg5xM7c/mYiRVM+HETf0g==}
+  tsx@4.7.3:
+    resolution: {integrity: sha512-+fQnMqIp/jxZEXLcj6WzYy9FhcS5/Dfk8y4AtzJ6ejKcKqmfTF8Gso/jtrzDggCF2zTU20gJa6n8XqPYwDAUYQ==}
     engines: {node: '>=18.0.0'}
     hasBin: true
 
@@ -2668,8 +2710,8 @@ packages:
     resolution: {integrity: sha512-4dbzIzqvjtgiM5rw1k5rEHtBANKmdudhGyBEajN01fEyhaAIhsoKNy6y7+IN93IfpFtwY9iqi7kD+xwKhQsNJA==}
     engines: {node: '>=8'}
 
-  type-fest@4.14.0:
-    resolution: {integrity: sha512-on5/Cw89wwqGZQu+yWO0gGMGu8VNxsaW9SB2HE8yJjllEk7IDTwnSN1dUVldYILhYPN5HzD7WAaw2cc/jBfn0Q==}
+  type-fest@4.17.0:
+    resolution: {integrity: sha512-9flrz1zkfLRH3jO3bLflmTxryzKMxVa7841VeMgBaNQGY6vH4RCcpN/sQLB7mQQYh1GZ5utT2deypMuCy4yicw==}
     engines: {node: '>=16'}
 
   typed-array-buffer@1.0.0:
@@ -2714,9 +2756,9 @@ packages:
   undici-types@5.26.5:
     resolution: {integrity: sha512-JlCMO+ehdEIKqlFxk6IfVoAUVmgz7cU7zD/h9XZ0qzeosSHmUJVOzSQvvYSYWXkFXC+IfLKSIffhv0sVZup6pA==}
 
-  undici@6.13.0:
-    resolution: {integrity: sha512-Q2rtqmZWrbP8nePMq7mOJIN98M0fYvSgV89vwl/BQRT4mDOeY2GXZngfGpcBBhtky3woM7G24wZV3Q304Bv6cw==}
-    engines: {node: '>=18.0'}
+  undici@6.15.0:
+    resolution: {integrity: sha512-VviMt2tlMg1BvQ0FKXxrz1eJuyrcISrL2sPfBf7ZskX/FCEc/7LeThQaoygsMJpNqrATWQIsRVx+1Dpe4jaYuQ==}
+    engines: {node: '>=18.17'}
 
   universalify@0.1.2:
     resolution: {integrity: sha512-rBJeI5CXAlmy1pV+617WB9J63U6XcazHHF2f2dbJix4XzpUF0RS3Zbj0FGIOCAva5P/d/GBOYaACQ1w+0azUkg==}
@@ -2785,6 +2827,10 @@ packages:
     engines: {node: '>= 8'}
     hasBin: true
 
+  word-wrap@1.2.5:
+    resolution: {integrity: sha512-BN22B5eaMMI9UMtjrGd5g5eCYPpCPDUy0FJXbYsaT5zYxjFOckS53SQDE3pWkVoWpHXVb3BrYcEN4Twa55B5cA==}
+    engines: {node: '>=0.10.0'}
+
   wrap-ansi@6.2.0:
     resolution: {integrity: sha512-r6lPcBGxZXlIcymEu7InxDMhdW0KDxpLgoFLcguasxCaJ/SOIZwINatK9KY/tf+ZrlywOKU0UDj3ATXUBfxJXA==}
     engines: {node: '>=8'}
@@ -2796,8 +2842,8 @@ packages:
   wrappy@1.0.2:
     resolution: {integrity: sha512-l4Sp/DRseor9wL6EvV2+TuQn63dMkPjZ/sp9XkghTEbV9KlPS1xUsZ3u7/IQO4wxtcFB4bgpQPRcR3QCvezPcQ==}
 
-  ws@8.16.0:
-    resolution: {integrity: sha512-HS0c//TP7Ina87TfiPUz1rQzMhHrl/SG2guqRcTOIUYD2q8uhUdNHZYJUaQ8aTGPzCh+c6oawMKW35nFl1dxyQ==}
+  ws@8.17.0:
+    resolution: {integrity: sha512-uJq6108EgZMAl20KagGkzCKfMEjxmKvZHG7Tlq0Z6nOky7YF7aq4mOx6xK8TJ/i1LeK4Qus7INktacctDgY8Ow==}
     engines: {node: '>=10.0.0'}
     peerDependencies:
       bufferutil: ^4.0.1
@@ -2824,8 +2870,8 @@ packages:
   yallist@4.0.0:
     resolution: {integrity: sha512-3wdGidZyq5PB084XLES5TpOSRA3wjXAlIWMhum2kRcv/41Sn2emQ0dycQW4uZXLejwKvg6EsvbdlVL+FYEct7A==}
 
-  yaml@2.4.1:
-    resolution: {integrity: sha512-pIXzoImaqmfOrL7teGUBt/T7ZDnyeGBWyXQBvOVhLkWLN37GXv8NMLK406UY6dS51JfcQHsmcW5cJ441bHg6Lg==}
+  yaml@2.4.2:
+    resolution: {integrity: sha512-B3VqDZ+JAg1nZpaEmWtTXUlBneoGx6CPM9b0TENK6aoSu5t73dItudwdgmi6tHlIZZId4dZ9skcAQ2UbcyAeVA==}
     engines: {node: '>= 14'}
     hasBin: true
 
@@ -2862,9 +2908,9 @@ snapshots:
       '@jridgewell/gen-mapping': 0.3.5
       '@jridgewell/trace-mapping': 0.3.25
 
-  '@babel/cli@7.24.1(@babel/core@7.24.3)':
+  '@babel/cli@7.24.1(@babel/core@7.24.4)':
     dependencies:
-      '@babel/core': 7.24.3
+      '@babel/core': 7.24.4
       '@jridgewell/trace-mapping': 0.3.25
       commander: 4.1.1
       convert-source-map: 2.0.0
@@ -2886,17 +2932,17 @@ snapshots:
       '@babel/highlight': 7.24.2
       picocolors: 1.0.0
 
-  '@babel/compat-data@7.24.1': {}
+  '@babel/compat-data@7.24.4': {}
 
-  '@babel/core@7.24.3':
+  '@babel/core@7.24.4':
     dependencies:
       '@ampproject/remapping': 2.3.0
       '@babel/code-frame': 7.24.2
-      '@babel/generator': 7.24.1
+      '@babel/generator': 7.24.4
       '@babel/helper-compilation-targets': 7.23.6
-      '@babel/helper-module-transforms': 7.23.3(@babel/core@7.24.3)
-      '@babel/helpers': 7.24.1
-      '@babel/parser': 7.24.1
+      '@babel/helper-module-transforms': 7.23.3(@babel/core@7.24.4)
+      '@babel/helpers': 7.24.4
+      '@babel/parser': 7.24.4
       '@babel/template': 7.24.0
       '@babel/traverse': 7.24.1
       '@babel/types': 7.24.0
@@ -2908,7 +2954,7 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  '@babel/generator@7.24.1':
+  '@babel/generator@7.24.4':
     dependencies:
       '@babel/types': 7.24.0
       '@jridgewell/gen-mapping': 0.3.5
@@ -2917,7 +2963,7 @@ snapshots:
 
   '@babel/helper-compilation-targets@7.23.6':
     dependencies:
-      '@babel/compat-data': 7.24.1
+      '@babel/compat-data': 7.24.4
       '@babel/helper-validator-option': 7.23.5
       browserslist: 4.23.0
       lru-cache: 5.1.1
@@ -2938,9 +2984,9 @@ snapshots:
     dependencies:
       '@babel/types': 7.24.0
 
-  '@babel/helper-module-transforms@7.23.3(@babel/core@7.24.3)':
+  '@babel/helper-module-transforms@7.23.3(@babel/core@7.24.4)':
     dependencies:
-      '@babel/core': 7.24.3
+      '@babel/core': 7.24.4
       '@babel/helper-environment-visitor': 7.22.20
       '@babel/helper-module-imports': 7.24.3
       '@babel/helper-simple-access': 7.22.5
@@ -2961,9 +3007,11 @@ snapshots:
 
   '@babel/helper-validator-identifier@7.22.20': {}
 
+  '@babel/helper-validator-identifier@7.24.5': {}
+
   '@babel/helper-validator-option@7.23.5': {}
 
-  '@babel/helpers@7.24.1':
+  '@babel/helpers@7.24.4':
     dependencies:
       '@babel/template': 7.24.0
       '@babel/traverse': 7.24.1
@@ -2984,25 +3032,25 @@ snapshots:
       js-tokens: 4.0.0
       picocolors: 1.0.0
 
-  '@babel/parser@7.24.1':
+  '@babel/parser@7.24.4':
     dependencies:
       '@babel/types': 7.24.0
 
-  '@babel/plugin-syntax-export-namespace-from@7.8.3(@babel/core@7.24.3)':
+  '@babel/plugin-syntax-export-namespace-from@7.8.3(@babel/core@7.24.4)':
     dependencies:
-      '@babel/core': 7.24.3
+      '@babel/core': 7.24.4
       '@babel/helper-plugin-utils': 7.24.0
 
-  '@babel/plugin-transform-export-namespace-from@7.24.1(@babel/core@7.24.3)':
+  '@babel/plugin-transform-export-namespace-from@7.24.1(@babel/core@7.24.4)':
     dependencies:
-      '@babel/core': 7.24.3
+      '@babel/core': 7.24.4
       '@babel/helper-plugin-utils': 7.24.0
-      '@babel/plugin-syntax-export-namespace-from': 7.8.3(@babel/core@7.24.3)
+      '@babel/plugin-syntax-export-namespace-from': 7.8.3(@babel/core@7.24.4)
 
-  '@babel/plugin-transform-modules-commonjs@7.24.1(@babel/core@7.24.3)':
+  '@babel/plugin-transform-modules-commonjs@7.24.1(@babel/core@7.24.4)':
     dependencies:
-      '@babel/core': 7.24.3
-      '@babel/helper-module-transforms': 7.23.3(@babel/core@7.24.3)
+      '@babel/core': 7.24.4
+      '@babel/helper-module-transforms': 7.23.3(@babel/core@7.24.4)
       '@babel/helper-plugin-utils': 7.24.0
       '@babel/helper-simple-access': 7.22.5
 
@@ -3013,18 +3061,18 @@ snapshots:
   '@babel/template@7.24.0':
     dependencies:
       '@babel/code-frame': 7.24.2
-      '@babel/parser': 7.24.1
+      '@babel/parser': 7.24.4
       '@babel/types': 7.24.0
 
   '@babel/traverse@7.24.1':
     dependencies:
       '@babel/code-frame': 7.24.2
-      '@babel/generator': 7.24.1
+      '@babel/generator': 7.24.4
       '@babel/helper-environment-visitor': 7.22.20
       '@babel/helper-function-name': 7.23.0
       '@babel/helper-hoist-variables': 7.22.5
       '@babel/helper-split-export-declaration': 7.22.6
-      '@babel/parser': 7.24.1
+      '@babel/parser': 7.24.4
       '@babel/types': 7.24.0
       debug: 4.3.4
       globals: 11.12.0
@@ -3200,19 +3248,19 @@ snapshots:
       human-id: 1.0.2
       prettier: 2.8.8
 
-  ? '@creative-introvert/eslint-config@0.3.2(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.0))(eslint-plugin-sort-destructure-keys@1.5.0(eslint@9.1.0))(eslint-plugin-unicorn@52.0.0(eslint@9.1.0))(eslint-plugin-unused-imports@3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5)(typescript@5.4.5)'
+  ? '@creative-introvert/eslint-config@0.3.2(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1))(eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5))(eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.1))(eslint-plugin-sort-destructure-keys@2.0.0(eslint@9.1.1))(eslint-plugin-unicorn@52.0.0(eslint@9.1.1))(eslint-plugin-unused-imports@3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5)(typescript@5.4.5)'
   : dependencies:
-      '@typescript-eslint/eslint-plugin': 7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5)
-      '@typescript-eslint/parser': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
-      eslint: 9.1.0
-      eslint-config-prettier: 9.1.0(eslint@9.1.0)
-      eslint-import-resolver-typescript: 3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0)
-      eslint-plugin-import: 2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0)
-      eslint-plugin-prettier: 5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5)
-      eslint-plugin-simple-import-sort: 12.1.0(eslint@9.1.0)
-      eslint-plugin-sort-destructure-keys: 1.5.0(eslint@9.1.0)
-      eslint-plugin-unicorn: 52.0.0(eslint@9.1.0)
-      eslint-plugin-unused-imports: 3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)
+      '@typescript-eslint/eslint-plugin': 7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5)
+      '@typescript-eslint/parser': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
+      eslint: 9.1.1
+      eslint-config-prettier: 9.1.0(eslint@9.1.1)
+      eslint-import-resolver-typescript: 3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1)
+      eslint-plugin-import: 2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1)
+      eslint-plugin-prettier: 5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5)
+      eslint-plugin-simple-import-sort: 12.1.0(eslint@9.1.1)
+      eslint-plugin-sort-destructure-keys: 2.0.0(eslint@9.1.1)
+      eslint-plugin-unicorn: 52.0.0(eslint@9.1.1)
+      eslint-plugin-unused-imports: 3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)
       prettier: 3.2.5
       typescript: 5.4.5
 
@@ -3222,66 +3270,66 @@ snapshots:
     dependencies:
       '@jridgewell/trace-mapping': 0.3.9
 
-  '@effect/cli@0.36.6(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(@effect/printer-ansi@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3))(@effect/printer@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3))(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)':
+  '@effect/cli@0.36.14(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(@effect/printer-ansi@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0))(@effect/printer@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0))(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)':
     dependencies:
-      '@effect/platform': 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
-      '@effect/printer': 0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3)
-      '@effect/printer-ansi': 0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3)
-      '@effect/schema': 0.66.4(effect@3.0.3)(fast-check@3.17.2)
-      effect: 3.0.3
+      '@effect/platform': 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
+      '@effect/printer': 0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0)
+      '@effect/printer-ansi': 0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0)
+      '@effect/schema': 0.66.12(effect@3.1.0)(fast-check@3.18.0)
+      effect: 3.1.0
       ini: 4.1.2
       toml: 3.0.0
-      yaml: 2.4.1
+      yaml: 2.4.2
 
-  '@effect/platform-node-shared@0.4.6(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)':
+  '@effect/platform-node-shared@0.4.14(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)':
     dependencies:
-      '@effect/platform': 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
+      '@effect/platform': 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
       '@parcel/watcher': 2.4.1
-      effect: 3.0.3
+      effect: 3.1.0
       multipasta: 0.2.0
 
-  '@effect/platform-node@0.47.1(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)':
+  '@effect/platform-node@0.48.0(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)':
     dependencies:
-      '@effect/platform': 0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)
-      '@effect/platform-node-shared': 0.4.6(@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0))(effect@3.0.3)
-      effect: 3.0.3
+      '@effect/platform': 0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)
+      '@effect/platform-node-shared': 0.4.14(@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0))(effect@3.1.0)
+      effect: 3.1.0
       mime: 3.0.0
-      undici: 6.13.0
-      ws: 8.16.0
+      undici: 6.15.0
+      ws: 8.17.0
     transitivePeerDependencies:
       - bufferutil
       - utf-8-validate
 
-  '@effect/platform@0.50.1(@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2))(effect@3.0.3)(ws@8.16.0)':
+  '@effect/platform@0.51.0(@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0))(effect@3.1.0)(ws@8.17.0)':
     dependencies:
-      '@effect/schema': 0.66.4(effect@3.0.3)(fast-check@3.17.2)
-      effect: 3.0.3
+      '@effect/schema': 0.66.12(effect@3.1.0)(fast-check@3.18.0)
+      effect: 3.1.0
       find-my-way-ts: 0.1.1
-      isows: 1.0.4(ws@8.16.0)
+      isows: 1.0.4(ws@8.17.0)
       multipasta: 0.2.0
       path-browserify: 1.0.1
     transitivePeerDependencies:
       - ws
 
-  '@effect/printer-ansi@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3)':
+  '@effect/printer-ansi@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0)':
     dependencies:
-      '@effect/printer': 0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3)
-      '@effect/typeclass': 0.24.3(effect@3.0.3)
-      effect: 3.0.3
+      '@effect/printer': 0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0)
+      '@effect/typeclass': 0.24.9(effect@3.1.0)
+      effect: 3.1.0
 
-  '@effect/printer@0.33.3(@effect/typeclass@0.24.3(effect@3.0.3))(effect@3.0.3)':
+  '@effect/printer@0.33.9(@effect/typeclass@0.24.9(effect@3.1.0))(effect@3.1.0)':
     dependencies:
-      '@effect/typeclass': 0.24.3(effect@3.0.3)
-      effect: 3.0.3
+      '@effect/typeclass': 0.24.9(effect@3.1.0)
+      effect: 3.1.0
 
-  '@effect/schema@0.66.4(effect@3.0.3)(fast-check@3.17.2)':
+  '@effect/schema@0.66.12(effect@3.1.0)(fast-check@3.18.0)':
     dependencies:
-      effect: 3.0.3
-      fast-check: 3.17.2
+      effect: 3.1.0
+      fast-check: 3.18.0
 
-  '@effect/typeclass@0.24.3(effect@3.0.3)':
+  '@effect/typeclass@0.24.9(effect@3.1.0)':
     dependencies:
-      effect: 3.0.3
+      effect: 3.1.0
 
   '@esbuild/aix-ppc64@0.19.12':
     optional: true
@@ -3357,9 +3405,9 @@ snapshots:
       eslint: 8.57.0
       eslint-visitor-keys: 3.4.3
 
-  '@eslint-community/eslint-utils@4.4.0(eslint@9.1.0)':
+  '@eslint-community/eslint-utils@4.4.0(eslint@9.1.1)':
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
       eslint-visitor-keys: 3.4.3
 
   '@eslint-community/regexpp@4.10.0': {}
@@ -3539,6 +3587,8 @@ snapshots:
 
   '@tsconfig/node16@1.0.4': {}
 
+  '@types/diff-match-patch@1.0.36': {}
+
   '@types/json-schema@7.0.15': {}
 
   '@types/json5@0.0.29': {}
@@ -3583,16 +3633,16 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  '@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5)':
+  '@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5)':
     dependencies:
       '@eslint-community/regexpp': 4.10.0
-      '@typescript-eslint/parser': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
-      '@typescript-eslint/scope-manager': 7.7.0
-      '@typescript-eslint/type-utils': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
-      '@typescript-eslint/utils': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
-      '@typescript-eslint/visitor-keys': 7.7.0
+      '@typescript-eslint/parser': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
+      '@typescript-eslint/scope-manager': 7.8.0
+      '@typescript-eslint/type-utils': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
+      '@typescript-eslint/utils': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
+      '@typescript-eslint/visitor-keys': 7.8.0
       debug: 4.3.4
-      eslint: 9.1.0
+      eslint: 9.1.1
       graphemer: 1.4.0
       ignore: 5.3.1
       natural-compare: 1.4.0
@@ -3616,14 +3666,14 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  '@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5)':
+  '@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5)':
     dependencies:
-      '@typescript-eslint/scope-manager': 7.7.0
-      '@typescript-eslint/types': 7.7.0
-      '@typescript-eslint/typescript-estree': 7.7.0(typescript@5.4.5)
-      '@typescript-eslint/visitor-keys': 7.7.0
+      '@typescript-eslint/scope-manager': 7.8.0
+      '@typescript-eslint/types': 7.8.0
+      '@typescript-eslint/typescript-estree': 7.8.0(typescript@5.4.5)
+      '@typescript-eslint/visitor-keys': 7.8.0
       debug: 4.3.4
-      eslint: 9.1.0
+      eslint: 9.1.1
     optionalDependencies:
       typescript: 5.4.5
     transitivePeerDependencies:
@@ -3634,10 +3684,10 @@ snapshots:
       '@typescript-eslint/types': 7.4.0
       '@typescript-eslint/visitor-keys': 7.4.0
 
-  '@typescript-eslint/scope-manager@7.7.0':
+  '@typescript-eslint/scope-manager@7.8.0':
     dependencies:
-      '@typescript-eslint/types': 7.7.0
-      '@typescript-eslint/visitor-keys': 7.7.0
+      '@typescript-eslint/types': 7.8.0
+      '@typescript-eslint/visitor-keys': 7.8.0
 
   '@typescript-eslint/type-utils@7.4.0(eslint@8.57.0)(typescript@5.4.5)':
     dependencies:
@@ -3651,12 +3701,12 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  '@typescript-eslint/type-utils@7.7.0(eslint@9.1.0)(typescript@5.4.5)':
+  '@typescript-eslint/type-utils@7.8.0(eslint@9.1.1)(typescript@5.4.5)':
     dependencies:
-      '@typescript-eslint/typescript-estree': 7.7.0(typescript@5.4.5)
-      '@typescript-eslint/utils': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
+      '@typescript-eslint/typescript-estree': 7.8.0(typescript@5.4.5)
+      '@typescript-eslint/utils': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
       debug: 4.3.4
-      eslint: 9.1.0
+      eslint: 9.1.1
       ts-api-utils: 1.3.0(typescript@5.4.5)
     optionalDependencies:
       typescript: 5.4.5
@@ -3665,7 +3715,7 @@ snapshots:
 
   '@typescript-eslint/types@7.4.0': {}
 
-  '@typescript-eslint/types@7.7.0': {}
+  '@typescript-eslint/types@7.8.0': {}
 
   '@typescript-eslint/typescript-estree@7.4.0(typescript@5.4.5)':
     dependencies:
@@ -3682,10 +3732,10 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  '@typescript-eslint/typescript-estree@7.7.0(typescript@5.4.5)':
+  '@typescript-eslint/typescript-estree@7.8.0(typescript@5.4.5)':
     dependencies:
-      '@typescript-eslint/types': 7.7.0
-      '@typescript-eslint/visitor-keys': 7.7.0
+      '@typescript-eslint/types': 7.8.0
+      '@typescript-eslint/visitor-keys': 7.8.0
       debug: 4.3.4
       globby: 11.1.0
       is-glob: 4.0.3
@@ -3711,15 +3761,15 @@ snapshots:
       - supports-color
       - typescript
 
-  '@typescript-eslint/utils@7.7.0(eslint@9.1.0)(typescript@5.4.5)':
+  '@typescript-eslint/utils@7.8.0(eslint@9.1.1)(typescript@5.4.5)':
     dependencies:
-      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.0)
+      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.1)
       '@types/json-schema': 7.0.15
       '@types/semver': 7.5.8
-      '@typescript-eslint/scope-manager': 7.7.0
-      '@typescript-eslint/types': 7.7.0
-      '@typescript-eslint/typescript-estree': 7.7.0(typescript@5.4.5)
-      eslint: 9.1.0
+      '@typescript-eslint/scope-manager': 7.8.0
+      '@typescript-eslint/types': 7.8.0
+      '@typescript-eslint/typescript-estree': 7.8.0(typescript@5.4.5)
+      eslint: 9.1.1
       semver: 7.6.0
     transitivePeerDependencies:
       - supports-color
@@ -3730,9 +3780,9 @@ snapshots:
       '@typescript-eslint/types': 7.4.0
       eslint-visitor-keys: 3.4.3
 
-  '@typescript-eslint/visitor-keys@7.7.0':
+  '@typescript-eslint/visitor-keys@7.8.0':
     dependencies:
-      '@typescript-eslint/types': 7.7.0
+      '@typescript-eslint/types': 7.8.0
       eslint-visitor-keys: 3.4.3
 
   '@ungap/structured-clone@1.2.0': {}
@@ -3872,9 +3922,9 @@ snapshots:
     dependencies:
       possible-typed-array-names: 1.0.0
 
-  babel-plugin-annotate-pure-calls@0.4.0(@babel/core@7.24.3):
+  babel-plugin-annotate-pure-calls@0.4.0(@babel/core@7.24.4):
     dependencies:
-      '@babel/core': 7.24.3
+      '@babel/core': 7.24.4
 
   balanced-match@1.0.2: {}
 
@@ -3948,6 +3998,8 @@ snapshots:
       ansi-styles: 4.3.0
       supports-color: 7.2.0
 
+  chalk@5.3.0: {}
+
   chardet@0.7.0: {}
 
   chokidar@3.6.0:
@@ -4075,8 +4127,6 @@ snapshots:
 
   deep-is@0.1.4: {}
 
-  deep-object-diff@1.1.9: {}
-
   defaults@1.0.4:
     dependencies:
       clone: 1.0.4
@@ -4103,6 +4153,8 @@ snapshots:
 
   detect-libc@1.0.3: {}
 
+  diff-match-patch@1.0.5: {}
+
   diff@4.0.2: {}
 
   dir-glob@3.0.1:
@@ -4119,7 +4171,7 @@ snapshots:
 
   dotenv@8.6.0: {}
 
-  effect@3.0.3: {}
+  effect@3.1.0: {}
 
   electron-to-chromium@1.4.708: {}
 
@@ -4403,9 +4455,9 @@ snapshots:
     dependencies:
       eslint: 8.57.0
 
-  eslint-config-prettier@9.1.0(eslint@9.1.0):
+  eslint-config-prettier@9.1.0(eslint@9.1.1):
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
 
   eslint-import-resolver-node@0.3.9:
     dependencies:
@@ -4432,13 +4484,13 @@ snapshots:
       - eslint-import-resolver-webpack
       - supports-color
 
-  eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0):
+  eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1):
     dependencies:
       debug: 4.3.4
       enhanced-resolve: 5.15.0
-      eslint: 9.1.0
-      eslint-module-utils: 2.8.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint@9.1.0)
-      eslint-plugin-import: 2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0)
+      eslint: 9.1.1
+      eslint-module-utils: 2.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint@9.1.1)
+      eslint-plugin-import: 2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1)
       fast-glob: 3.3.2
       get-tsconfig: 4.7.2
       is-core-module: 2.13.1
@@ -4460,14 +4512,14 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  eslint-module-utils@2.8.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint@9.1.0):
+  eslint-module-utils@2.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint@9.1.1):
     dependencies:
       debug: 3.2.7
     optionalDependencies:
-      '@typescript-eslint/parser': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
-      eslint: 9.1.0
+      '@typescript-eslint/parser': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
+      eslint: 9.1.1
       eslint-import-resolver-node: 0.3.9
-      eslint-import-resolver-typescript: 3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0)
+      eslint-import-resolver-typescript: 3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1)
     transitivePeerDependencies:
       - supports-color
 
@@ -4498,7 +4550,7 @@ snapshots:
       - eslint-import-resolver-webpack
       - supports-color
 
-  eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.0):
+  eslint-plugin-import@2.29.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-typescript@3.6.1)(eslint@9.1.1):
     dependencies:
       array-includes: 3.1.7
       array.prototype.findlastindex: 1.2.3
@@ -4506,9 +4558,9 @@ snapshots:
       array.prototype.flatmap: 1.3.2
       debug: 3.2.7
       doctrine: 2.1.0
-      eslint: 9.1.0
+      eslint: 9.1.1
       eslint-import-resolver-node: 0.3.9
-      eslint-module-utils: 2.8.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.0))(eslint@9.1.0)
+      eslint-module-utils: 2.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-import-resolver-node@0.3.9)(eslint-import-resolver-typescript@3.6.1(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint-plugin-import@2.29.1)(eslint@9.1.1))(eslint@9.1.1)
       hasown: 2.0.0
       is-core-module: 2.13.1
       is-glob: 4.0.3
@@ -4519,7 +4571,7 @@ snapshots:
       semver: 6.3.1
       tsconfig-paths: 3.15.0
     optionalDependencies:
-      '@typescript-eslint/parser': 7.7.0(eslint@9.1.0)(typescript@5.4.5)
+      '@typescript-eslint/parser': 7.8.0(eslint@9.1.1)(typescript@5.4.5)
     transitivePeerDependencies:
       - eslint-import-resolver-typescript
       - eslint-import-resolver-webpack
@@ -4534,14 +4586,14 @@ snapshots:
     optionalDependencies:
       eslint-config-prettier: 9.1.0(eslint@8.57.0)
 
-  eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.0))(eslint@9.1.0)(prettier@3.2.5):
+  eslint-plugin-prettier@5.1.3(eslint-config-prettier@9.1.0(eslint@9.1.1))(eslint@9.1.1)(prettier@3.2.5):
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
       prettier: 3.2.5
       prettier-linter-helpers: 1.0.0
       synckit: 0.8.8
     optionalDependencies:
-      eslint-config-prettier: 9.1.0(eslint@9.1.0)
+      eslint-config-prettier: 9.1.0(eslint@9.1.1)
 
   eslint-plugin-react@7.34.1(eslint@8.57.0):
     dependencies:
@@ -4569,18 +4621,18 @@ snapshots:
     dependencies:
       eslint: 8.57.0
 
-  eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.0):
+  eslint-plugin-simple-import-sort@12.1.0(eslint@9.1.1):
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
 
   eslint-plugin-sort-destructure-keys@1.5.0(eslint@8.57.0):
     dependencies:
       eslint: 8.57.0
       natural-compare-lite: 1.4.0
 
-  eslint-plugin-sort-destructure-keys@1.5.0(eslint@9.1.0):
+  eslint-plugin-sort-destructure-keys@2.0.0(eslint@9.1.1):
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
       natural-compare-lite: 1.4.0
 
   eslint-plugin-unicorn@51.0.1(eslint@8.57.0):
@@ -4605,15 +4657,15 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  eslint-plugin-unicorn@52.0.0(eslint@9.1.0):
+  eslint-plugin-unicorn@52.0.0(eslint@9.1.1):
     dependencies:
-      '@babel/helper-validator-identifier': 7.22.20
-      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.0)
+      '@babel/helper-validator-identifier': 7.24.5
+      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.1)
       '@eslint/eslintrc': 2.1.4
       ci-info: 4.0.0
       clean-regexp: 1.0.0
       core-js-compat: 3.37.0
-      eslint: 9.1.0
+      eslint: 9.1.1
       esquery: 1.5.0
       indent-string: 4.0.0
       is-builtin-module: 3.2.1
@@ -4634,12 +4686,12 @@ snapshots:
     optionalDependencies:
       '@typescript-eslint/eslint-plugin': 7.4.0(@typescript-eslint/parser@7.4.0(eslint@8.57.0)(typescript@5.4.5))(eslint@8.57.0)(typescript@5.4.5)
 
-  eslint-plugin-unused-imports@3.1.0(@typescript-eslint/eslint-plugin@7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0):
+  eslint-plugin-unused-imports@3.2.0(@typescript-eslint/eslint-plugin@7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1):
     dependencies:
-      eslint: 9.1.0
+      eslint: 9.1.1
       eslint-rule-composer: 0.3.0
     optionalDependencies:
-      '@typescript-eslint/eslint-plugin': 7.7.0(@typescript-eslint/parser@7.7.0(eslint@9.1.0)(typescript@5.4.5))(eslint@9.1.0)(typescript@5.4.5)
+      '@typescript-eslint/eslint-plugin': 7.8.0(@typescript-eslint/parser@7.8.0(eslint@9.1.1)(typescript@5.4.5))(eslint@9.1.1)(typescript@5.4.5)
 
   eslint-rule-composer@0.3.0: {}
 
@@ -4700,9 +4752,9 @@ snapshots:
     transitivePeerDependencies:
       - supports-color
 
-  eslint@9.1.0:
+  eslint@9.1.1:
     dependencies:
-      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.0)
+      '@eslint-community/eslint-utils': 4.4.0(eslint@9.1.1)
       '@eslint-community/regexpp': 4.10.0
       '@eslint/eslintrc': 3.0.2
       '@eslint/js': 9.1.1
@@ -4733,7 +4785,7 @@ snapshots:
       lodash.merge: 4.6.2
       minimatch: 3.1.2
       natural-compare: 1.4.0
-      optionator: 0.9.3
+      optionator: 0.9.4
       strip-ansi: 6.0.1
       text-table: 0.2.0
     transitivePeerDependencies:
@@ -4773,7 +4825,7 @@ snapshots:
       iconv-lite: 0.4.24
       tmp: 0.0.33
 
-  fast-check@3.17.2:
+  fast-check@3.18.0:
     dependencies:
       pure-rand: 6.1.0
 
@@ -4915,6 +4967,10 @@ snapshots:
     dependencies:
       resolve-pkg-maps: 1.0.0
 
+  get-tsconfig@4.7.3:
+    dependencies:
+      resolve-pkg-maps: 1.0.0
+
   glob-parent@5.1.2:
     dependencies:
       is-glob: 4.0.3
@@ -5178,9 +5234,9 @@ snapshots:
 
   isexe@2.0.0: {}
 
-  isows@1.0.4(ws@8.16.0):
+  isows@1.0.4(ws@8.17.0):
     dependencies:
-      ws: 8.16.0
+      ws: 8.17.0
 
   iterator.prototype@1.1.2:
     dependencies:
@@ -5221,6 +5277,12 @@ snapshots:
 
   json5@2.2.3: {}
 
+  jsondiffpatch@0.6.0:
+    dependencies:
+      '@types/diff-match-patch': 1.0.36
+      chalk: 5.3.0
+      diff-match-patch: 1.0.5
+
   jsonfile@4.0.0:
     optionalDependencies:
       graceful-fs: 4.2.11
@@ -5425,6 +5487,15 @@ snapshots:
       prelude-ls: 1.2.1
       type-check: 0.4.0
 
+  optionator@0.9.4:
+    dependencies:
+      deep-is: 0.1.4
+      fast-levenshtein: 2.0.6
+      levn: 0.4.1
+      prelude-ls: 1.2.1
+      type-check: 0.4.0
+      word-wrap: 1.2.5
+
   os-tmpdir@1.0.2: {}
 
   outdent@0.5.0: {}
@@ -5893,10 +5964,10 @@ snapshots:
 
   tslib@2.6.2: {}
 
-  tsx@4.7.1:
+  tsx@4.7.3:
     dependencies:
       esbuild: 0.19.12
-      get-tsconfig: 4.7.2
+      get-tsconfig: 4.7.3
     optionalDependencies:
       fsevents: 2.3.3
 
@@ -5922,7 +5993,7 @@ snapshots:
 
   type-fest@0.8.1: {}
 
-  type-fest@4.14.0: {}
+  type-fest@4.17.0: {}
 
   typed-array-buffer@1.0.0:
     dependencies:
@@ -5994,7 +6065,7 @@ snapshots:
 
   undici-types@5.26.5: {}
 
-  undici@6.13.0: {}
+  undici@6.15.0: {}
 
   universalify@0.1.2: {}
 
@@ -6095,6 +6166,8 @@ snapshots:
     dependencies:
       isexe: 2.0.0
 
+  word-wrap@1.2.5: {}
+
   wrap-ansi@6.2.0:
     dependencies:
       ansi-styles: 4.3.0
@@ -6109,7 +6182,7 @@ snapshots:
 
   wrappy@1.0.2: {}
 
-  ws@8.16.0: {}
+  ws@8.17.0: {}
 
   y18n@4.0.3: {}
 
@@ -6121,7 +6194,7 @@ snapshots:
 
   yallist@4.0.0: {}
 
-  yaml@2.4.1: {}
+  yaml@2.4.2: {}
 
   yargs-parser@18.1.3:
     dependencies:
diff --git a/workspace/cli/CHANGELOG.md b/workspace/cli/CHANGELOG.md
index c1e13a6..aa8f6f0 100644
--- a/workspace/cli/CHANGELOG.md
+++ b/workspace/cli/CHANGELOG.md
@@ -1,5 +1,16 @@
 # @creative-introvert/prediction-testing-cli
 
+## 0.1.0
+
+### Minor Changes
+
+- Feat: Better Show.
+
+### Patch Changes
+
+- Updated dependencies
+  - @creative-introvert/prediction-testing@0.1.0
+
 ## 0.0.4
 
 ### Patch Changes
diff --git a/workspace/cli/package.json b/workspace/cli/package.json
index 4a22576..65236cf 100644
--- a/workspace/cli/package.json
+++ b/workspace/cli/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@creative-introvert/prediction-testing-cli",
-    "version": "0.0.4",
+    "version": "0.1.0",
     "type": "module",
     "license": "MIT",
     "sideEffects": [],
@@ -30,22 +30,22 @@
     },
     "devDependencies": {
         "@babel/cli": "^7.24.1",
-        "@babel/core": "^7.24.3",
+        "@babel/core": "^7.24.4",
         "@babel/plugin-transform-export-namespace-from": "^7.24.1",
         "@babel/plugin-transform-modules-commonjs": "^7.24.1",
         "@creative-introvert/eslint-config": "^0.3.2",
         "@creative-introvert/prettier-config": "^0.2.0",
         "babel-plugin-annotate-pure-calls": "^0.4.0",
         "ts-node": "^10.9.2",
-        "type-fest": "^4.14.0"
+        "type-fest": "^4.17.0"
     },
     "dependencies": {
         "@creative-introvert/prediction-testing": "workspace:*",
-        "@effect/cli": "^0.36.6",
-        "@effect/platform": "^0.50.1",
-        "@effect/platform-node": "^0.47.1",
-        "@effect/schema": "^0.66.4",
+        "@effect/cli": "^0.36.14",
+        "@effect/platform": "^0.51.0",
+        "@effect/platform-node": "^0.48.0",
+        "@effect/schema": "^0.66.12",
         "ansi-colors": "^4.1.3",
-        "effect": "3.0.3"
+        "effect": "3.1.0"
     }
 }
diff --git a/workspace/cli/src/index.ts b/workspace/cli/src/index.ts
index d78aae5..5042540 100644
--- a/workspace/cli/src/index.ts
+++ b/workspace/cli/src/index.ts
@@ -6,15 +6,14 @@ import * as PT from '@creative-introvert/prediction-testing';
 import * as P from './prelude.js';
 
 export type Config<I = unknown, O = unknown, T = unknown> = {
-    testSuite: PT.TestSuite<I, O, T>;
+    testSuite: PT.Test.TestSuite<I, O, T>;
     dirPath: string;
     filePostfix: string;
     testSuiteName: string;
-    displayConfig?: Partial<PT.Show.DisplayConfig> | undefined;
+    displayConfig?: Partial<PT.DisplayConfig.DisplayConfig> | undefined;
     showInput?: undefined | ((input: I) => string);
     showExpected?: undefined | ((expected: T) => string);
     showResult?: undefined | ((result: O, expected: T) => string);
-    showTags?: undefined | boolean;
     isResultNil?: undefined | ((result: O) => boolean);
 };
 
@@ -39,26 +38,24 @@ const labels = Options.text('labels').pipe(
 
 const createFilterLabel =
     (maybeLables: P.O.Option<readonly PT.Classify.Label[]>) =>
-    (tr: PT.TestResult<unknown, unknown, unknown>) =>
+    (tr: PT.Test.TestResult<unknown, unknown, unknown>) =>
         P.O.match(maybeLables, {
             onNone: () => true,
             onSome: labels => labels.includes(tr.label),
         });
 
-const TestRunSchema = P.Schema.parseJson(PT.TestRunSchema);
+const TestRunSchema = P.Schema.parseJson(PT.Test.TestRunSchema);
 
-const readPreviousTestRun = P.E.gen(function* (_) {
-    const {testSuiteName, dirPath, filePostfix} = yield* _(Config);
-    const fs = yield* _(P.FS.FileSystem);
-    return yield* _(
-        fs.readFileString(`${dirPath}/${testSuiteName}.${filePostfix}.json`),
-        P.E.flatMap(P.Schema.decodeUnknown(TestRunSchema)),
-        P.E.option,
-    );
+const readPreviousTestRun = P.E.gen(function* () {
+    const {testSuiteName, dirPath, filePostfix} = yield* Config;
+    const fs = yield* P.FS.FileSystem;
+    return yield* fs
+        .readFileString(`${dirPath}/${testSuiteName}.${filePostfix}.json`)
+        .pipe(P.E.flatMap(P.Schema.decodeUnknown(TestRunSchema)), P.E.option);
 });
 
 const summarize = Command.make('summarize', {labels}, ({labels}) =>
-    P.E.gen(function* (_) {
+    P.E.gen(function* () {
         const {
             testSuite,
             isResultNil,
@@ -66,40 +63,34 @@ const summarize = Command.make('summarize', {labels}, ({labels}) =>
             showExpected,
             showResult,
             displayConfig,
-            showTags,
-        } = yield* _(Config);
+        } = yield* Config;
 
         const filterLabel = createFilterLabel(labels);
-        const previousTestRun = yield* _(readPreviousTestRun);
-        const testRun = yield* _(
-            PT.testAll(testSuite).pipe(
-                P.Stream.filter(filterLabel),
-                PT.runFoldEffect,
-            ),
+        const previousTestRun = yield* readPreviousTestRun;
+        const testRun = yield* PT.Test.all(testSuite).pipe(
+            P.Stream.filter(filterLabel),
+            PT.Test.runFoldEffect,
         );
 
         if (testRun.testResultIds.length === 0) {
-            yield* _(P.Console.log('Nothing to show.'));
+            yield* P.Console.log('Nothing to show.');
             return;
         }
 
-        yield* _(
-            P.Console.log(
-                [
-                    PT.Show.summary({
-                        testRun,
-                        previousTestRun,
-                        isResultNil,
-                        showInput,
-                        showExpected,
-                        showResult,
-                        displayConfig,
-                        showTags,
-                    }),
-                    '',
-                    PT.Show.stats({testRun}),
-                ].join('\n'),
-            ),
+        yield* P.Console.log(
+            [
+                PT.Show.summarize({
+                    testRun,
+                    previousTestRun,
+                    // isResultNil,
+                    // showInput,
+                    // showExpected,
+                    // showResult,
+                    displayConfig,
+                }),
+                '',
+                PT.Show.stats({testRun}),
+            ].join('\n'),
         );
     }),
 );
@@ -111,7 +102,7 @@ const ci = Options.boolean('ci').pipe(
 );
 
 const diff = Command.make('diff', {ci}, ({ci}) =>
-    P.E.gen(function* (_) {
+    P.E.gen(function* () {
         const {
             testSuite,
             isResultNil,
@@ -119,79 +110,65 @@ const diff = Command.make('diff', {ci}, ({ci}) =>
             showExpected,
             showResult,
             displayConfig,
-            showTags,
-        } = yield* _(Config);
-
-        const previousTestRun = yield* _(readPreviousTestRun);
-
-        const testRun = yield* _(
-            PT.testAll(testSuite).pipe(
-                P.Stream.filter(next =>
-                    P.pipe(
-                        P.O.flatMap(previousTestRun, prevTestRun =>
-                            P.O.fromNullable(
-                                prevTestRun.testResultsById[next.id],
-                            ),
-                        ),
-                        P.O.map(
-                            prev =>
-                                prev.label !== next.label ||
-                                !isDeepStrictEqual(prev.result, next.result),
-                        ),
-                        P.O.getOrElse(() => true),
+        } = yield* Config;
+
+        const previousTestRun = yield* readPreviousTestRun;
+
+        const testRun = yield* PT.Test.all(testSuite).pipe(
+            P.Stream.filter(next =>
+                P.pipe(
+                    P.O.flatMap(previousTestRun, prevTestRun =>
+                        P.O.fromNullable(prevTestRun.testResultsById[next.id]),
                     ),
+                    P.O.map(
+                        prev =>
+                            prev.label !== next.label ||
+                            !isDeepStrictEqual(prev.result, next.result),
+                    ),
+                    P.O.getOrElse(() => true),
                 ),
-                PT.runFoldEffect,
             ),
+            PT.Test.runFoldEffect,
         );
 
         if (testRun.testResultIds.length === 0) {
-            yield* _(P.Console.log('Nothing to show.'));
+            yield* P.Console.log('Nothing to show.');
             return;
         }
 
-        yield* _(
-            P.Console.log(
-                [
-                    PT.Show.summary({
-                        testRun,
-                        previousTestRun,
-                        isResultNil,
-                        showInput,
-                        showExpected,
-                        showResult,
-                        displayConfig,
-                        showTags,
-                    }),
-                    '',
-                    PT.Show.diff({
-                        testRun,
-                        diff: PT.diff({testRun, previousTestRun}),
-                    }),
-                ].join('\n'),
-            ),
+        yield* P.Console.log(
+            [
+                PT.Show.summarize({
+                    testRun,
+                    previousTestRun,
+                    displayConfig,
+                }),
+                '',
+                PT.Show.diff({
+                    diff: PT.Test.diff({testRun, previousTestRun}),
+                }),
+            ].join('\n'),
         );
         if (ci) {
-            yield* _(P.E.die('Non-empty diff.'));
+            yield* P.E.die('Non-empty diff.');
         }
     }),
 );
 
 // FIXME: Either sqlite backend, csv, or use line-delimited JSON.
 const write = Command.make('write', {}, () =>
-    P.E.gen(function* (_) {
-        const {testSuite, dirPath, testSuiteName, filePostfix} =
-            yield* _(Config);
-        const fs = yield* _(P.FS.FileSystem);
+    P.E.gen(function* () {
+        const {testSuite, dirPath, testSuiteName, filePostfix} = yield* Config;
+        const fs = yield* P.FS.FileSystem;
 
-        yield* _(fs.makeDirectory(dirPath, {recursive: true}));
+        yield* fs.makeDirectory(dirPath, {recursive: true});
 
-        const testRun = yield* _(PT.testAll(testSuite).pipe(PT.runFoldEffect));
-        const filePath = `${dirPath}/${testSuiteName}.${filePostfix}.json`;
-        yield* _(
-            fs.writeFileString(filePath, JSON.stringify(testRun, null, 2)),
+        const testRun = yield* PT.Test.all(testSuite).pipe(
+            PT.Test.runFoldEffect,
         );
-        yield* _(P.Console.log(`Wrote to "${filePath}"`));
+        const filePath = `${dirPath}/${testSuiteName}.${filePostfix}.json`;
+        yield* fs.writeFileString(filePath, JSON.stringify(testRun, null, 2));
+        yield* P.Console.log(`Wrote to "${filePath}"`);
     }),
 );
 
diff --git a/workspace/core/CHANGELOG.md b/workspace/core/CHANGELOG.md
index 4f5fbbe..b832942 100644
--- a/workspace/core/CHANGELOG.md
+++ b/workspace/core/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @creative-introvert/prediction-testing
 
+## 0.1.0
+
+### Minor Changes
+
+- Feat: Better Show.
+
 ## 0.0.7
 
 ### Patch Changes
diff --git a/workspace/core/package.json b/workspace/core/package.json
index d105a06..38ff550 100644
--- a/workspace/core/package.json
+++ b/workspace/core/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@creative-introvert/prediction-testing",
-    "version": "0.0.7",
+    "version": "0.1.0",
     "type": "module",
     "license": "MIT",
     "sideEffects": [],
@@ -30,19 +30,20 @@
     },
     "devDependencies": {
         "@babel/cli": "^7.24.1",
-        "@babel/core": "^7.24.3",
+        "@babel/core": "^7.24.4",
         "@babel/plugin-transform-export-namespace-from": "^7.24.1",
         "@babel/plugin-transform-modules-commonjs": "^7.24.1",
         "@creative-introvert/eslint-config": "^0.3.2",
         "@creative-introvert/prettier-config": "^0.2.0",
         "babel-plugin-annotate-pure-calls": "^0.4.0",
-        "type-fest": "^4.14.0"
+        "type-fest": "^4.17.0"
     },
     "dependencies": {
-        "@effect/platform": "^0.50.1",
-        "@effect/platform-node": "^0.47.1",
-        "@effect/schema": "^0.66.4",
+        "@effect/platform": "^0.51.0",
+        "@effect/platform-node": "^0.48.0",
+        "@effect/schema": "^0.66.12",
         "ansi-colors": "^4.1.3",
-        "effect": "3.0.3"
+        "effect": "3.1.0",
+        "jsondiffpatch": "^0.6.0"
     }
 }
diff --git a/workspace/core/src/Classify.ts b/workspace/core/src/Classify.ts
index f24018c..19bd2e4 100644
--- a/workspace/core/src/Classify.ts
+++ b/workspace/core/src/Classify.ts
@@ -1,109 +1,14 @@
-import * as P from './prelude.js';
+import * as internal from './internal/Classify.js';
 
-export const Label = {
-    TN: 'TN',
-    TP: 'TP',
-    FP: 'FP',
-    FN: 'FN',
-} as const;
+export type Label = 'TP' | 'TN' | 'FP' | 'FN';
 
-export type Label = (typeof Label)[keyof typeof Label];
-
-export const LabelSchema: P.Schema.Schema<Label> = P.Schema.Literal(
-    'TP',
-    'TN',
-    'FP',
-    'FN',
-);
-
-export const defaultIsNil = <I>(x: I): boolean => x === null || x === undefined;
+export const values = internal.values;
 
 export type Classify<O, T> = (output: O, expected: T) => Label;
 
-export const make =
-    <O, T>(
-        isEqual: (output: O, expected: T) => boolean,
-        isOutputNil: (output: O) => boolean = defaultIsNil,
-        isExpectedNil: (expected: T) => boolean = defaultIsNil,
-    ): Classify<O, T> =>
-    (output, expected) => {
-        const eq = isEqual(output, expected);
-        const oNil = isOutputNil(output);
-        const eNil = isExpectedNil(expected);
-
-        if (oNil && eNil) {
-            return Label.TN;
-        }
-
-        if (!oNil && !eNil && eq) {
-            return Label.TP;
-        }
-
-        if ((!oNil && eNil) || (!oNil && !eNil && !eq)) {
-            return Label.FP;
-        }
-
-        return Label.FN;
-    };
-
 export type Stats = Record<Label, number> & {
     precision: number;
     recall: number;
 };
 
-export const StatsSchema: P.Schema.Schema<Stats> = P.Schema.Struct({
-    TP: P.Schema.Number,
-    TN: P.Schema.Number,
-    FP: P.Schema.Number,
-    FN: P.Schema.Number,
-    precision: P.Schema.Number,
-    recall: P.Schema.Number,
-});
-
-export const Stats = {
-    empty: (): Stats => ({
-        TP: 0,
-        TN: 0,
-        FP: 0,
-        FN: 0,
-        precision: 0,
-        recall: 0,
-    }),
-};
-
-export const precision = (m: Stats): number => {
-    const r = m.TP / (m.TP + m.FP);
-    return isNaN(r) ? 0 : r;
-};
-
-export const recall = (m: Stats): number => {
-    const r = m.TP / (m.TP + m.FN);
-    return isNaN(r) ? 0 : r;
-};
-
-export const min = (xs: number[]): number =>
-    xs.reduce((min, x) => (x < min ? x : min), Infinity);
-
-export const max = (xs: number[]): number =>
-    xs.reduce((max, x) => (x > max ? x : max), -Infinity);
-
-export const mean = (xs: number[]): number | undefined => {
-    if (xs.length === 0) {
-        return undefined;
-    }
-
-    return xs.reduce((a, b) => a + b, 0) / xs.length;
-};
-
-export const median = (xs: number[]): number | undefined => {
-    if (xs.length === 0) {
-        return undefined;
-    }
-
-    const sorted = xs.slice().sort((a, b) => a - b);
-    const index = Math.floor(sorted.length / 2);
-
-    return sorted.length % 2 === 0
-        ? (sorted[index - 1] + sorted[index]) / 2
-        : sorted[index];
-};
+export const LabelSchema = internal.LabelSchema;
diff --git a/workspace/core/src/DisplayConfig.ts b/workspace/core/src/DisplayConfig.ts
new file mode 100644
index 0000000..8213bbd
--- /dev/null
+++ b/workspace/core/src/DisplayConfig.ts
@@ -0,0 +1,21 @@
+import * as internal from './internal/DisplayConfig.js';
+
+export type DisplayConfig = {
+    /** @default true */
+    colorize: boolean;
+    /** @default 2 */
+    columnPadding: number;
+    corner: string;
+    cornerLeft: string;
+    cornerRight: string;
+    cornerTop: string;
+    cornerTopLeft: string;
+    cornerTopRight: string;
+    cornerBottomLeft: string;
+    cornerBottomRight: string;
+    cornerBottom: string;
+    horizontal: string;
+    vertical: string;
+};
+
+export const makeDefault = internal.makeDefault;
diff --git a/workspace/core/src/Json.ts b/workspace/core/src/Json.ts
deleted file mode 100644
index 345d38b..0000000
--- a/workspace/core/src/Json.ts
+++ /dev/null
@@ -1,2 +0,0 @@
-export type Literal = string | number | boolean | null;
-export type Json = Literal | {[key: string]: Json} | Json[];
diff --git a/workspace/core/src/Show.ts b/workspace/core/src/Show.ts
index 71d07cd..14376dc 100644
--- a/workspace/core/src/Show.ts
+++ b/workspace/core/src/Show.ts
@@ -1,562 +1,69 @@
-/* eslint-disable import/no-named-as-default-member */
-import {isDeepStrictEqual} from 'node:util';
+import type {Stats} from './Classify.js';
+import type {Diff} from './Test.js';
+import type {TestRun} from './Test.js';
+import type * as P from './prelude.js';
 
-import colors from 'ansi-colors';
-import {identity} from 'effect';
-import {number} from 'effect/Equivalence';
-import {sum} from 'effect/Number';
+export {summarize} from './internal/summarize.js';
+export {diff} from './internal/diff.js';
+export {stats} from './internal/stats.js';
 
-import * as P from './prelude.js';
-import type * as Test from './Test.js';
-import {defaultIsNil, type Label} from './Classify.js';
-
-export type DisplayConfig = {
-    /** @default true */
-    colorize: boolean;
-    /** @default ' │ ' */
-    columnDelimiter: string;
-    /** @default '-' */
-    rowDelimiter: string;
-    /** @default '=' */
-    headerDelimiter: string;
-    /** @default 2 */
-    columnPadding: number;
-};
-
-export const DisplayConfig = {
-    default: (): DisplayConfig => ({
-        colorize: true,
-        columnDelimiter: ' │ ',
-        rowDelimiter: '-',
-        headerDelimiter: '=',
-        columnPadding: 2,
-    }),
-};
-
-type Widths<K extends string> = Record<K, number>;
-
-function getWidths<K extends string>({
-    display,
-    previousWidths,
-    columns,
-}: {
-    display: Record<K, string>;
-    previousWidths: Widths<K>;
-    columns: readonly K[];
-}): Widths<K> {
-    return columns.reduce<Widths<K>>((widths, column) => {
-        widths[column] = Math.max(
-            // Name of column is the minimum length.
-            column.length,
-            widths[column],
-            colors.unstyle(display[column]).length,
-        );
-        return widths;
-    }, previousWidths);
-}
-
-function getTotalWidth<C extends string>({
-    widths,
-    displayConfig: cfg,
-}: {
-    widths: Widths<C>;
-    displayConfig: DisplayConfig;
-}): number {
-    const all: number[] = Object.values(widths);
-    return all.reduce(sum) + (all.length - 1) * cfg.columnDelimiter.length;
-}
-
-const columns = [
-    'index',
-    'id',
-    'input',
-    'tags',
-    'label',
-    'expected',
-    'result',
-    'previous result',
-] as const;
-
-type Columns = (typeof columns)[number];
-
-type Rows<I, O, T> = {
-    xs: {
-        display: Record<Columns, string> & {
-            hasPrevious: boolean;
-            hasResultDiff: boolean;
-        };
-        testResult: Test._TestResult<I, O, T>;
-        previousTestResult: P.O.Option<Test._TestResult<I, O, T>>;
-    }[];
-    widths: Widths<Columns>;
-};
-
-function createHeaders<K extends string>({
-    columns,
-    widths,
-}: {
-    columns: readonly K[];
-    widths: Widths<K>;
-}): string {
-    return columns.map(column => column.padEnd(widths[column])).join(' | ');
-}
-
-function createHeadRow({
-    value,
-    totalWidth,
-}: {
-    value: string;
-    totalWidth: number;
-}): string {
-    return value.padStart(
-        Math.floor(totalWidth / 2) + Math.ceil(value.length / 2),
-    );
-}
-
-const Rows = {
-    empty: <I, O, T>(): Rows<I, O, T> => ({
-        xs: [],
-        widths: columns.reduce(
-            (m, key) => ({...m, [key]: 0}),
-            {} as Widths<Columns>,
-        ),
-    }),
-};
-
-type Colorizer = (s: string) => string;
-
-export const colorLabel = (label: Label, isNew = false): Colorizer => {
-    switch (label) {
-        case 'TP':
-            return isNew ? colors.blue : colors.green;
-        case 'TN':
-            return isNew ? colors.blue : colors.green;
-        case 'FP':
-            return isNew ? colors.yellow : colors.red;
-        case 'FN':
-            return isNew ? colors.yellow : colors.red;
-    }
-};
-
-// positive = good
-const colorPositive = (n: number): Colorizer =>
-    n < 0 ? colors.red : n > 0 ? colors.green : colors.white;
-
-// negative = good
-const colorNegative = (n: number): Colorizer =>
-    n > 0 ? colors.red : n < 0 ? colors.green : colors.white;
-
-const colorIdentity = (): Colorizer => identity;
-
-export const showID = (id: string): string => id.slice(0, 8);
-
-export const showValue = <I>(value: I): string => JSON.stringify(value);
-
-export const single = <I, O, T>({
-    testResult,
-}: {
-    testResult: Test._TestResult<I, O, T>;
-}): string => {
-    const label = colorLabel(testResult.label, true)(testResult.label);
-    const input = showValue(testResult.input);
-    const expected = showValue(testResult.expected);
-    const result = colorLabel(
-        testResult.label,
-        false,
-    )(showValue(testResult.result));
-    return `${label} :: ${input} -> ${result} (${expected})`;
-};
-
-export const summary = <I, O, T>({
-    testRun,
-    displayConfig,
-    previousTestRun = P.O.none(),
-    isResultNil = defaultIsNil,
-    showInput = showValue,
-    showExpected = showValue,
-    showResult = showValue,
-    showTags = true,
-}: {
-    testRun: Test._TestRun<I, O, T>;
-    previousTestRun?: P.O.Option<Test._TestRun<I, O, T>>;
-    displayConfig?: Partial<DisplayConfig> | undefined;
-    isResultNil?: ((result: O) => boolean) | undefined;
-    showInput?: ((input: I) => string) | undefined;
-    showExpected?: ((expected: T) => string) | undefined;
-    showResult?: ((result: O, expected: T) => string) | undefined;
-    showTags?: boolean | undefined;
-}): string => {
-    const cfg = {...DisplayConfig.default(), ...displayConfig};
-
-    const _colorLabel = cfg.colorize ? colorLabel : colorIdentity;
-
-    const ids = testRun.testResultIds;
-    const rows = Rows.empty<I, O, T>();
-
-    const _columns = showTags ? columns : columns.filter(s => s !== 'tags');
-
-    for (let i = 0; i < ids.length; i++) {
-        const id = ids[i];
-
-        const testResult = testRun.testResultsById[id];
-        const previousTestResult = previousTestRun.pipe(
-            P.O.map(m => m.testResultsById[id]),
-        );
-        const previousResultResult = P.O.map(previousTestResult, _ => _.result);
-
-        const hasPrevious = P.O.isSome(previousTestResult);
-        const hasResultDiff = isDeepStrictEqual(
-            testResult.result,
-            previousResultResult,
-        );
-
-        const display = {
-            index: `${i + 1}/${ids.length}`,
-            id: showID(id),
-            input: showInput(testResult.input),
-            tags: testResult.tags.join(','),
-            label: testResult.label.toString(),
-            expected: showExpected(testResult.expected),
-            result: showResult(testResult.result, testResult.expected),
-            'previous result': P.O.match(previousResultResult, {
-                onNone: () => '∅',
-                onSome: result => showResult(result, testResult.expected),
-            }),
-            hasPrevious,
-            hasResultDiff,
-        };
-
-        rows.xs.push({
-            display,
-            testResult,
-            previousTestResult,
-        });
-
-        rows.widths = getWidths({
-            display,
-            columns: _columns,
-            previousWidths: rows.widths,
-        });
-    }
-
-    const _headers = createHeaders({
-        columns: _columns,
-        widths: rows.widths,
-    });
-
-    const totalWidth = getTotalWidth({
-        widths: rows.widths,
-        displayConfig: cfg,
-    });
-
-    const headerDelimiter = cfg.headerDelimiter.repeat(totalWidth);
-    const rowDelimiter = cfg.rowDelimiter.repeat(totalWidth);
-
-    const _rows = rows.xs
-        .map(({testResult, previousTestResult, display}, i, xs) => {
-            const hasPreviousResult = P.O.map(
-                previousTestResult,
-                _ => _.result,
-            ).pipe(P.O.isSome);
-
-            const row: string[] = (
-                showTags
-                    ? [
-                          colors.gray.italic(
-                              display.tags.padEnd(rows.widths.tags),
-                          ),
-                      ]
-                    : []
-            ).concat([
-                _colorLabel(
-                    testResult.label,
-                    !display.hasPrevious,
-                )(display.label.padEnd(rows.widths.label)),
-                display.expected.padEnd(rows.widths.expected),
-                _colorLabel(
-                    testResult.label,
-                    !display.hasPrevious,
-                )(display.result.padEnd(rows.widths.result)),
-                previousTestResult.pipe(
-                    P.O.match({
-                        onNone: () => '∅',
-                        onSome: ({label}) =>
-                            _colorLabel(
-                                label,
-                                !display.hasPrevious,
-                            )(
-                                display['previous result'].padEnd(
-                                    rows.widths['previous result'],
-                                ),
-                            ),
-                    }),
-                ),
-            ]);
-
-            const prev = i > 0 ? xs[i - 1] : undefined;
-            if (prev?.testResult.id !== testResult.id) {
-                const result = [
-                    display.index.padEnd(rows.widths.index),
-                    display.id.padEnd(rows.widths.id),
-                    display.input.padEnd(rows.widths.input),
-                ]
-                    .concat(row)
-                    .join(cfg.columnDelimiter);
-                return result;
-            }
-            // TODO: This only makes sense when we render multiple rows per result.
-            //
-            // We're on the same id as the previous row, so we don't
-            // need to display the row headers again.
-            else {
-                const result = [
-                    ''.padEnd(rows.widths.index),
-                    ''.padEnd(rows.widths.id),
-                    ''.padEnd(rows.widths.input),
-                ]
-                    .concat(row)
-                    .join(cfg.columnDelimiter);
-                return result;
-            }
-        })
-        .join(`\n${rowDelimiter}\n`);
-
-    return [
-        headerDelimiter,
-        createHeadRow({value: 'SUMMARY', totalWidth}),
-        headerDelimiter,
-        _headers,
-        rowDelimiter,
-        _rows,
-        headerDelimiter,
-        _headers,
-        headerDelimiter,
-    ].join('\n');
+export type DiffContext = {
+    diff: Diff;
 };
 
-// export const legend = ({
-//     displayConfig,
-// }: {
-//     displayConfig?: Partial<DisplayConfig>;
-// }): string => {
-//     const cfg = {...DisplayConfig.default(), ...displayConfig};
-//     const xs = [
-//         {
-//             term: 'TP',
-//             description: 'True Positive. Correctly predicted a result.',
-//         },
-//         {
-//             term: 'TN',
-//             description:
-//                 'True Negative. Correctly predicted no result. I.o.w. expected no result, and got none.',
-//         },
-//         {
-//             term: 'FP',
-//             description: 'False Positive. Incorrectly predicted a result.',
-//         },
-//         {
-//             term: 'FN',
-//             description:
-//                 'False Negative. Incorrectly predicted no result. I.o.w. expected no result, but got one.',
-//         },
-//         {
-//             term: 'precision',
-//             description: `The ratio of correctly predicted results (TP) to the total predicted positives (TP + FP). It answers the question: Out of all the true positives, how many are actually correct?`,
-//         },
-//         {
-//             term: 'recall',
-//             description: `The ratio of correctly identified positives (TP) to all the cases that are actually positive (TP + FN). It answers the question: Out of all the cases that are true positives, how many did we find?`,
-//         },
-//     ];
-//     const maxTerm = xs.reduce((m, x) => Math.max(m, x.term.length), 0) + 2;
-//     const maxDesc = xs.reduce((m, x) => Math.max(m, x.description.length), 0);
-//     const rowDelimiter = cfg.headerDelimiter.repeat(maxTerm + maxDesc);
-//
-//     return [
-//         rowDelimiter,
-//         'LEGEND',
-//         rowDelimiter,
-//         ...xs.map(x => `${x.term}: `.padEnd(maxTerm) + x.description),
-//         rowDelimiter,
-//     ].join('\n');
-// };
-//
-//
-//
-// // =============================================================================
-// // Summary
-// // =============================================================================
-//
-// export const noResults = ({
-//     displayConfig,
-// }: {
-//     displayConfig?: Partial<DisplayConfig>;
-// }): string => {
-//     const cfg = {...DisplayConfig.default(), ...displayConfig};
-//
-//     return [
-//         cfg.headerDelimiter.repeat(80),
-//         'No results to display.',
-//         cfg.headerDelimiter.repeat(80),
-//     ].join('\n');
-// };
-
-// =============================================================================
-// Stats
-// =============================================================================
-
-const statsColumns = ['TP', 'TN', 'FP', 'FN', 'precision', 'recall'] as const;
-
-type StatsColumns = (typeof statsColumns)[number];
-
-type StatsRows = {
-    display: Record<StatsColumns, string>;
-    widths: Widths<StatsColumns>;
+export type DiffColumnNames =
+    | 'TP'
+    | 'TN'
+    | 'FP'
+    | 'FN'
+    | 'precision'
+    | 'recall';
+
+export type DiffColumn = {
+    name: DiffColumnNames;
+    label: string;
+    make: (ctx: DiffContext) => string[];
 };
 
-const StatsRows = {
-    empty: (): StatsRows => ({
-        display: {} as Record<StatsColumns, string>,
-        widths: statsColumns.reduce(
-            (m, key) => ({...m, [key]: 0}),
-            {} as Widths<StatsColumns>,
-        ),
-    }),
+export type StatsContext = {
+    stats: Stats;
 };
 
-export const stats = <I, O, T>({
-    testRun,
-    displayConfig,
-}: {
-    testRun: Pick<Test._TestRun<I, O, T>, 'stats'>;
-    displayConfig?: Partial<DisplayConfig>;
-}): string => {
-    const cfg = {...DisplayConfig.default(), ...displayConfig};
-    const _colorPositive = cfg.colorize ? colorPositive : colorIdentity;
-    const _colorNegative = cfg.colorize ? colorNegative : colorIdentity;
-
-    const stats = testRun.stats;
-
-    const display = {
-        TP: stats.TP.toString(),
-        TN: stats.TN.toString(),
-        FP: stats.FP.toString(),
-        FN: stats.FN.toString(),
-        precision: stats.precision.toFixed(2),
-        recall: stats.recall.toFixed(2),
-    };
-    const defaultWidths = StatsRows.empty().widths;
-
-    const widths = getWidths({
-        display,
-        columns: statsColumns,
-        previousWidths: defaultWidths,
-    });
-
-    const totalWidth = getTotalWidth({
-        widths,
-        displayConfig: cfg,
-    });
-
-    const headerDelimiter = cfg.headerDelimiter.repeat(totalWidth);
-    const rowDelimiter = cfg.rowDelimiter.repeat(totalWidth);
-
-    const _headers = createHeaders({
-        columns: statsColumns,
-        widths,
-    });
-
-    const _rows = [
-        _colorPositive(stats.TP)(display.TP.padEnd(widths.TP)),
-        _colorPositive(stats.TN)(display.TN.padEnd(widths.TN)),
-        _colorNegative(stats.FP)(display.FP.padEnd(widths.FP)),
-        _colorNegative(stats.FN)(display.FN.padEnd(widths.FN)),
-        display.precision.padEnd(widths.precision),
-        display.recall.padEnd(widths.recall),
-    ].join(' | ');
-
-    return [
-        headerDelimiter,
-        createHeadRow({value: 'STATS', totalWidth}),
-        headerDelimiter,
-        _headers,
-        rowDelimiter,
-        _rows,
-        headerDelimiter,
-    ].join('\n');
+export type StatsColumnNames =
+    | 'TP'
+    | 'TN'
+    | 'FP'
+    | 'FN'
+    | 'precision'
+    | 'recall';
+
+export type StatsColumn = {
+    name: StatsColumnNames;
+    label: string;
+    make: (ctx: StatsContext) => string[];
 };
 
-// =============================================================================
-// Diff
-// =============================================================================
-
-const diffColumns = ['TP', 'TN', 'FP', 'FN', 'precision', 'recall'] as const;
-
-type DiffColumns = (typeof diffColumns)[number];
-
-type DiffRows = {
-    display: Record<DiffColumns, string>;
-    values: Test.Diff;
-    widths: Widths<DiffColumns>;
+export type SummarizeContext = {
+    i: number;
+    ids: string[];
+    testRun: TestRun;
+    previousTestRun: P.O.Option<TestRun>;
 };
 
-export const diff = <I, O, T>({
-    testRun,
-    diff,
-    config: _config,
-}: {
-    testRun: Test._TestRun<I, O, T>;
-    diff: Test.Diff;
-    config?: Partial<DisplayConfig>;
-}): string => {
-    const config = {...DisplayConfig.default(), ..._config};
-    const _colorPositive = config.colorize ? colorPositive : colorIdentity;
-    const _colorNegative = config.colorize ? colorNegative : colorIdentity;
-
-    const display = {
-        TP: diff.TP.toString(),
-        TN: diff.TN.toString(),
-        FP: diff.FP.toString(),
-        FN: diff.FN.toString(),
-        precision: diff.precision.toFixed(2),
-        recall: diff.recall.toFixed(2),
-    };
-
-    const defaultWidths = StatsRows.empty().widths;
-
-    const widths = getWidths({
-        display,
-        columns: diffColumns,
-        previousWidths: defaultWidths,
-    });
-
-    const totalWidth = getTotalWidth({
-        widths,
-        displayConfig: config,
-    });
-
-    const headerDelimiter = config.headerDelimiter.repeat(totalWidth);
-    const rowDelimiter = config.rowDelimiter.repeat(totalWidth);
-    const _headers = createHeaders({columns: diffColumns, widths});
-
-    const _rows = [
-        _colorPositive(diff.TP)(display.TP.padEnd(widths.TP)),
-        _colorPositive(diff.TN)(display.TN.padEnd(widths.TN)),
-        _colorNegative(diff.FP)(display.FP.padEnd(widths.FP)),
-        _colorNegative(diff.FN)(display.FN.padEnd(widths.FN)),
-        _colorPositive(diff.precision)(
-            display.precision.padEnd(widths.precision),
-        ),
-        _colorPositive(diff.recall)(display.recall.padEnd(widths.recall)),
-    ].join(config.columnDelimiter);
-
-    return [
-        headerDelimiter,
-        createHeadRow({value: 'DIFF', totalWidth}),
-        headerDelimiter,
-        _headers,
-        rowDelimiter,
-        _rows,
-        headerDelimiter,
-    ].join('\n');
+export type SummarizeColumnNames =
+    | 'index'
+    | 'hash'
+    | 'input'
+    | 'tags'
+    | 'label'
+    | 'expected'
+    | 'result'
+    | 'result_diff'
+    | 'prev_result'
+    | 'prev_result_diff';
+
+export type SummarizeColumn = {
+    name: SummarizeColumnNames;
+    label: string;
+    make: (ctx: SummarizeContext) => string[];
 };
diff --git a/workspace/core/src/Test.ts b/workspace/core/src/Test.ts
index 68c78cc..1dde77f 100644
--- a/workspace/core/src/Test.ts
+++ b/workspace/core/src/Test.ts
@@ -1,13 +1,11 @@
-import {createHash} from 'node:crypto';
-import {isDeepStrictEqual} from 'node:util';
-
-import * as P from './prelude.js';
-import * as Classify from './Classify.js';
+import type {Classify, Label, Stats} from './Classify.js';
+import type * as P from './prelude.js';
+import * as internal from './internal/Test.js';
 
 export type TestSuite<I = unknown, O = unknown, T = unknown> = {
     testCases: TestCase<I, T>[];
     program: Program<I, O>;
-    classify?: Classify.Classify<O, T>;
+    classify?: Classify<O, T>;
 };
 
 export type TestCase<I, T> = {
@@ -20,230 +18,33 @@ export type Program<I, O> = (input: I) => P.E.Effect<O>;
 
 export type ID = string;
 
-export type _TestResult<I = unknown, O = unknown, T = unknown> = {
+export type TestResult<I = unknown, O = unknown, T = unknown> = {
     id: ID;
     input: I;
     result: O;
     expected: T;
-    label: Classify.Label;
+    label: Label;
     tags: Readonly<string[]>;
 };
 
-export class TestResult<
-    I = unknown,
-    O = unknown,
-    T = unknown,
-> extends P.Data.TaggedClass('TestResult')<_TestResult<I, O, T>> {
-    constructor(args: Omit<_TestResult<I, O, T>, 'id'>) {
-        const id = ID.create(args.input);
-        super({...args, id});
-    }
-}
-
-export const TestResultSchema: P.Schema.Schema<_TestResult> = P.Schema.Struct({
-    id: P.Schema.String,
-    input: P.Schema.Unknown,
-    result: P.Schema.Unknown,
-    expected: P.Schema.Unknown,
-    label: Classify.LabelSchema,
-    tags: P.Schema.Array(P.Schema.String),
-});
-
-export type _TestRun<I = unknown, O = unknown, T = unknown> = {
-    testResultsById: Record<ID, _TestResult<I, O, T>>;
+export type TestRun<I = unknown, O = unknown, T = unknown> = {
+    testResultsById: Record<ID, TestResult<I, O, T>>;
     testResultIds: ID[];
-    stats: Classify.Stats;
+    stats: Stats;
 };
 
-export class TestRun<
-    I = unknown,
-    O = unknown,
-    T = unknown,
-> extends P.Data.TaggedClass('TestRun')<_TestRun<I, O, T>> {
-    static empty<I, O, T>(): _TestRun<I, O, T> {
-        return new TestRun({
-            testResultsById: {},
-            testResultIds: [],
-            stats: Classify.Stats.empty(),
-        });
-    }
-}
-
-export const TestRunSchema: P.Schema.Schema<_TestRun> = P.Schema.Struct({
-    testResultsById: P.Schema.Record(P.Schema.String, TestResultSchema),
-    testResultIds: P.Schema.mutable(P.Schema.Array(P.Schema.String)),
-    stats: Classify.StatsSchema,
-});
-
-export type Diff = Record<Classify.Label, number> & {
+export type Diff = Record<Label, number> & {
     precision: number;
     recall: number;
 };
 
-export const diff = <I, O, T>({
-    testRun: {stats},
-    previousTestRun,
-}: {
-    testRun: _TestRun<I, O, T>;
-    previousTestRun: P.O.Option<_TestRun<I, O, T>>;
-}): Diff =>
-    previousTestRun.pipe(
-        P.O.match({
-            onNone: () => stats,
-            onSome: ({stats: previousStats}) => ({
-                TP: stats.TP - previousStats.TP,
-                TN: stats.TN - previousStats.TN,
-                FP: stats.FP - previousStats.FP,
-                FN: stats.FN - previousStats.FN,
-                precision: stats.precision - previousStats.precision,
-                recall: stats.recall - previousStats.recall,
-            }),
-        }),
-    );
-
-export const ID = {
-    create: <I>(input: I): ID => {
-        return createHash('sha256').update(JSON.stringify(input)).digest('hex');
-    },
-};
-
-export const test = <I, O, T>({
-    testCase: {input, expected, tags},
-    program,
-    classify,
-}: {
-    testCase: TestCase<I, T>;
-    program: Program<I, O>;
-    classify: Classify.Classify<O, T>;
-}): P.E.Effect<TestResult<I, O, T>> => {
-    return program(input).pipe(
-        P.E.map(
-            result =>
-                new TestResult<I, O, T>({
-                    input,
-                    result,
-                    expected,
-                    tags: tags ?? [],
-                    label: classify(result, expected),
-                }),
-        ),
-    );
-};
-
-export const testAll = <I, O, T>({
-    testCases,
-    program,
-    classify = Classify.make(
-        isDeepStrictEqual,
-        Classify.defaultIsNil,
-        Classify.defaultIsNil,
-    ),
-}: TestSuite<I, O, T>): P.Stream.Stream<_TestResult<I, O, T>> =>
-    P.pipe(
-        P.Stream.fromIterable(testCases),
-        P.Stream.mapEffect(testCase => test({testCase, program, classify})),
-    );
-
-export const runFoldEffect = <I, O, T>(
-    testResults$: P.Stream.Stream<_TestResult<I, O, T>>,
-): P.E.Effect<_TestRun<I, O, T>> =>
-    testResults$.pipe(
-        P.Stream.runFoldEffect(TestRun.empty<I, O, T>(), (run, result) =>
-            P.E.gen(function* (_) {
-                const {id} = result;
-
-                if (run.testResultsById[id] !== undefined) {
-                    yield* _(
-                        P.Console.warn(`Skipped duplicate test case. id=${id}`),
-                    );
-                    return run;
-                } else {
-                    run.testResultsById[id] = result;
-                    run.testResultIds.push(id);
-                    run.stats[result.label]++;
-                }
-
-                return run;
-            }),
-        ),
-        P.E.map(run => {
-            run.stats.precision = Classify.precision(run.stats);
-            run.stats.recall = Classify.recall(run.stats);
-            return run;
-        }),
-    );
-
-/**
- * Convenience function to run all tests and return the results.
- */
-export const runAll = <I, O, T>({
-    testCases,
-    program,
-    classify = Classify.make(
-        isDeepStrictEqual,
-        Classify.defaultIsNil,
-        Classify.defaultIsNil,
-    ),
-}: TestSuite<I, O, T>) =>
-    testAll({testCases, program, classify}).pipe(runFoldEffect, P.E.runPromise);
-
 export type TestResultPredicate<I, O, T> = (args: {
-    testResult: _TestResult<I, O, T>;
-    previousTestResult: P.O.Option<_TestResult<I, O, T>>;
+    testResult: TestResult<I, O, T>;
+    previousTestResult: P.O.Option<TestResult<I, O, T>>;
 }) => boolean;
 
-/** Filters results. Note, tests still run, but results are filtered out. */
-export const filterTestRun: {
-    <I, O, T>(
-        predicates: TestResultPredicate<I, O, T>[],
-    ): (args: {
-        testRun: _TestRun<I, O, T>;
-        previousTestRun: P.O.Option<_TestRun<I, O, T>>;
-    }) => _TestRun<I, O, T>;
-    <I, O, T>(
-        args: {
-            testRun: _TestRun<I, O, T>;
-            previousTestRun: P.O.Option<_TestRun<I, O, T>>;
-        },
-        predicates: TestResultPredicate<I, O, T>[],
-    ): _TestRun<I, O, T>;
-} = P.dual(
-    2,
-    <I, O, T>(
-        {
-            testRun,
-            previousTestRun,
-        }: {
-            testRun: _TestRun<I, O, T>;
-            previousTestRun: P.O.Option<_TestRun<I, O, T>>;
-        },
-        predicates: TestResultPredicate<I, O, T>[],
-    ) =>
-        P.pipe(
-            testRun.testResultIds.reduce((m, id) => {
-                const testResult = testRun.testResultsById[id];
-                const previousTestResult = previousTestRun.pipe(
-                    P.O.map(a => a.testResultsById[id]),
-                );
-                const isMatch = predicates.every(p =>
-                    p({testResult, previousTestResult}),
-                );
-
-                if (isMatch) {
-                    if (m.testResultsById[id] === undefined) {
-                        m.testResultsById[id] = {} as TestResult<I, O, T>;
-                    }
-                    m.testResultsById[id] = testResult;
-                    m.testResultIds.push(id);
-                    m.stats[testResult.label]++;
-                }
-
-                return m;
-            }, TestRun.empty<I, O, T>()),
-            run => {
-                run.stats.precision = Classify.precision(run.stats);
-                run.stats.recall = Classify.recall(run.stats);
-                return run;
-            },
-        ),
-);
+export const all = internal.testAll;
+export const runAll = internal.runAll;
+export const runFoldEffect = internal.runFoldEffect;
+export const diff = internal.diff;
+export const TestRunSchema = internal.TestRunSchema;
diff --git a/workspace/core/src/index.ts b/workspace/core/src/index.ts
index 9dc7ec7..95ce757 100644
--- a/workspace/core/src/index.ts
+++ b/workspace/core/src/index.ts
@@ -1,3 +1,5 @@
-export * from './Test.js';
+export * as Test from './Test.js';
 export * as Show from './Show.js';
 export * as Classify from './Classify.js';
+export * as Error from './Error.js';
+export * as DisplayConfig from './DisplayConfig.js';
diff --git a/workspace/core/src/internal/Classify.ts b/workspace/core/src/internal/Classify.ts
new file mode 100644
index 0000000..ef0135b
--- /dev/null
+++ b/workspace/core/src/internal/Classify.ts
@@ -0,0 +1,103 @@
+import * as P from '../prelude.js';
+import type {
+    Classify as TClassify,
+    Label as TLabel,
+    Stats as TStats,
+} from '../Classify.js';
+
+export const values = {
+    TN: 'TN',
+    TP: 'TP',
+    FP: 'FP',
+    FN: 'FN',
+} as const;
+
+export const LabelSchema: P.Schema.Schema<TLabel> = P.Schema.Literal(
+    'TP',
+    'TN',
+    'FP',
+    'FN',
+);
+
+export const defaultIsNil = <I>(x: I): boolean => x === null || x === undefined;
+
+export const makeClassify =
+    <O, T>(
+        isEqual: (output: O, expected: T) => boolean,
+        isOutputNil: (output: O) => boolean = defaultIsNil,
+        isExpectedNil: (expected: T) => boolean = defaultIsNil,
+    ): TClassify<O, T> =>
+    (output, expected) => {
+        const eq = isEqual(output, expected);
+        const oNil = isOutputNil(output);
+        const eNil = isExpectedNil(expected);
+
+        if (oNil && eNil) {
+            return values.TN;
+        }
+
+        if (!oNil && !eNil && eq) {
+            return values.TP;
+        }
+
+        if ((!oNil && eNil) || (!oNil && !eNil && !eq)) {
+            return values.FP;
+        }
+
+        return values.FN;
+    };
+
+export const StatsSchema: P.Schema.Schema<TStats> = P.Schema.Struct({
+    TP: P.Schema.Number,
+    TN: P.Schema.Number,
+    FP: P.Schema.Number,
+    FN: P.Schema.Number,
+    precision: P.Schema.Number,
+    recall: P.Schema.Number,
+});
+
+export const emptyStats = (): TStats => ({
+    TP: 0,
+    TN: 0,
+    FP: 0,
+    FN: 0,
+    precision: 0,
+    recall: 0,
+});
+
+export const precision = (m: TStats): number => {
+    const r = m.TP / (m.TP + m.FP);
+    return isNaN(r) ? 0 : r;
+};
+
+export const recall = (m: TStats): number => {
+    const r = m.TP / (m.TP + m.FN);
+    return isNaN(r) ? 0 : r;
+};
+
+export const min = (xs: number[]): number =>
+    xs.reduce((min, x) => (x < min ? x : min), Infinity);
+
+export const max = (xs: number[]): number =>
+    xs.reduce((max, x) => (x > max ? x : max), -Infinity);
+
+export const mean = (xs: number[]): number | undefined => {
+    if (xs.length === 0) {
+        return undefined;
+    }
+
+    return xs.reduce((a, b) => a + b, 0) / xs.length;
+};
+
+export const median = (xs: number[]): number | undefined => {
+    if (xs.length === 0) {
+        return undefined;
+    }
+
+    const sorted = xs.slice().sort((a, b) => a - b);
+    const index = Math.floor(sorted.length / 2);
+
+    return sorted.length % 2 === 0
+        ? (sorted[index - 1] + sorted[index]) / 2
+        : sorted[index];
+};
diff --git a/workspace/core/src/internal/DisplayConfig.ts b/workspace/core/src/internal/DisplayConfig.ts
new file mode 100644
index 0000000..1cfc327
--- /dev/null
+++ b/workspace/core/src/internal/DisplayConfig.ts
@@ -0,0 +1,17 @@
+import type {DisplayConfig} from '../DisplayConfig.js';
+
+export const makeDefault = (): DisplayConfig => ({
+    colorize: true,
+    columnPadding: 2,
+    corner: '┼',
+    cornerLeft: '├',
+    cornerRight: '┤',
+    cornerTop: '┬',
+    cornerTopLeft: '┌',
+    cornerTopRight: '┐',
+    cornerBottomLeft: '└',
+    cornerBottomRight: '┘',
+    cornerBottom: '┴',
+    horizontal: '─',
+    vertical: '│',
+});
diff --git a/workspace/core/src/internal/Test.ts b/workspace/core/src/internal/Test.ts
new file mode 100644
index 0000000..6ae64be
--- /dev/null
+++ b/workspace/core/src/internal/Test.ts
@@ -0,0 +1,221 @@
+import {createHash} from 'node:crypto';
+import {isDeepStrictEqual} from 'node:util';
+
+import * as P from '../prelude.js';
+import type {Classify, Label, Stats} from '../Classify.js';
+import {
+    LabelSchema,
+    StatsSchema,
+    defaultIsNil,
+    emptyStats,
+    makeClassify,
+    precision,
+    recall,
+} from './Classify.js';
+import type {
+    Diff,
+    Program,
+    TestCase,
+    TestSuite,
+    ID,
+    TestResult as _TestResult,
+    TestRun as _TestRun,
+} from '../Test.js';
+
+export const makeID = <I>(input: I): ID => {
+    return createHash('sha256').update(JSON.stringify(input)).digest('hex');
+};
+
+export class TestResult<
+    I = unknown,
+    O = unknown,
+    T = unknown,
+> extends P.Data.TaggedClass('TestResult')<_TestResult<I, O, T>> {
+    constructor(args: Omit<_TestResult<I, O, T>, 'id'>) {
+        const id = makeID(args.input);
+        super({...args, id});
+    }
+}
+
+export const TestResultSchema: P.Schema.Schema<_TestResult> = P.Schema.Struct({
+    id: P.Schema.String,
+    input: P.Schema.Unknown,
+    result: P.Schema.Unknown,
+    expected: P.Schema.Unknown,
+    label: LabelSchema,
+    tags: P.Schema.Array(P.Schema.String),
+});
+
+export class TestRun<
+    I = unknown,
+    O = unknown,
+    T = unknown,
+> extends P.Data.TaggedClass('TestRun')<_TestRun<I, O, T>> {
+    static empty<I, O, T>(): _TestRun<I, O, T> {
+        return new TestRun({
+            testResultsById: {},
+            testResultIds: [],
+            stats: emptyStats(),
+        });
+    }
+}
+
+export const TestRunSchema: P.Schema.Schema<_TestRun> = P.Schema.Struct({
+    testResultsById: P.Schema.Record(P.Schema.String, TestResultSchema),
+    testResultIds: P.Schema.mutable(P.Schema.Array(P.Schema.String)),
+    stats: StatsSchema,
+});
+
+export const diff = <I, O, T>({
+    testRun: {stats},
+    previousTestRun,
+}: {
+    testRun: _TestRun<I, O, T>;
+    previousTestRun: P.O.Option<_TestRun<I, O, T>>;
+}): Diff =>
+    previousTestRun.pipe(
+        P.O.match({
+            onNone: () => stats,
+            onSome: ({stats: previousStats}) => ({
+                TP: stats.TP - previousStats.TP,
+                TN: stats.TN - previousStats.TN,
+                FP: stats.FP - previousStats.FP,
+                FN: stats.FN - previousStats.FN,
+                precision: stats.precision - previousStats.precision,
+                recall: stats.recall - previousStats.recall,
+            }),
+        }),
+    );
+
+export const test = <I, O, T>({
+    testCase: {input, expected, tags},
+    program,
+    classify,
+}: {
+    testCase: TestCase<I, T>;
+    program: Program<I, O>;
+    classify: Classify<O, T>;
+}): P.E.Effect<TestResult<I, O, T>> => {
+    return program(input).pipe(
+        P.E.map(
+            result =>
+                new TestResult<I, O, T>({
+                    input,
+                    result,
+                    expected,
+                    tags: tags ?? [],
+                    label: classify(result, expected),
+                }),
+        ),
+    );
+};
+
+export const testAll = <I, O, T>({
+    testCases,
+    program,
+    classify = makeClassify(isDeepStrictEqual, defaultIsNil, defaultIsNil),
+}: TestSuite<I, O, T>): P.Stream.Stream<_TestResult<I, O, T>> =>
+    P.pipe(
+        P.Stream.fromIterable(testCases),
+        P.Stream.mapEffect(testCase => test({testCase, program, classify})),
+    );
+
+export const runFoldEffect = <I, O, T>(
+    testResults$: P.Stream.Stream<_TestResult<I, O, T>>,
+): P.E.Effect<_TestRun<I, O, T>> =>
+    testResults$.pipe(
+        P.Stream.runFoldEffect(TestRun.empty<I, O, T>(), (run, result) =>
+            P.E.gen(function* () {
+                const {id} = result;
+
+                if (run.testResultsById[id] !== undefined) {
+                    yield* P.Console.warn(
+                        `Skipped duplicate test case. id=${id}`,
+                    );
+                    return run;
+                } else {
+                    run.testResultsById[id] = result;
+                    run.testResultIds.push(id);
+                    run.stats[result.label]++;
+                }
+
+                return run;
+            }),
+        ),
+        P.E.map(run => {
+            run.stats.precision = precision(run.stats);
+            run.stats.recall = recall(run.stats);
+            return run;
+        }),
+    );
+
+/**
+ * Convenience function to run all tests and return the results.
+ */
+export const runAll = <I, O, T>({
+    testCases,
+    program,
+    classify = makeClassify(isDeepStrictEqual, defaultIsNil, defaultIsNil),
+}: TestSuite<I, O, T>) =>
+    testAll({testCases, program, classify}).pipe(runFoldEffect, P.E.runPromise);
+
+export type TestResultPredicate<I, O, T> = (args: {
+    testResult: _TestResult<I, O, T>;
+    previousTestResult: P.O.Option<_TestResult<I, O, T>>;
+}) => boolean;
+
+/** Filters results. Note, tests still run, but results are filtered out. */
+export const filterTestRun: {
+    <I, O, T>(
+        predicates: TestResultPredicate<I, O, T>[],
+    ): (args: {
+        testRun: _TestRun<I, O, T>;
+        previousTestRun: P.O.Option<_TestRun<I, O, T>>;
+    }) => _TestRun<I, O, T>;
+    <I, O, T>(
+        args: {
+            testRun: _TestRun<I, O, T>;
+            previousTestRun: P.O.Option<_TestRun<I, O, T>>;
+        },
+        predicates: TestResultPredicate<I, O, T>[],
+    ): _TestRun<I, O, T>;
+} = P.dual(
+    2,
+    <I, O, T>(
+        {
+            testRun,
+            previousTestRun,
+        }: {
+            testRun: _TestRun<I, O, T>;
+            previousTestRun: P.O.Option<_TestRun<I, O, T>>;
+        },
+        predicates: TestResultPredicate<I, O, T>[],
+    ) =>
+        P.pipe(
+            testRun.testResultIds.reduce((m, id) => {
+                const testResult = testRun.testResultsById[id];
+                const previousTestResult = previousTestRun.pipe(
+                    P.O.map(a => a.testResultsById[id]),
+                );
+                const isMatch = predicates.every(p =>
+                    p({testResult, previousTestResult}),
+                );
+
+                if (isMatch) {
+                    if (m.testResultsById[id] === undefined) {
+                        m.testResultsById[id] = {} as TestResult<I, O, T>;
+                    }
+                    m.testResultsById[id] = testResult;
+                    m.testResultIds.push(id);
+                    m.stats[testResult.label]++;
+                }
+
+                return m;
+            }, TestRun.empty<I, O, T>()),
+            run => {
+                run.stats.precision = precision(run.stats);
+                run.stats.recall = recall(run.stats);
+                return run;
+            },
+        ),
+);
diff --git a/workspace/core/src/internal/common.ts b/workspace/core/src/internal/common.ts
new file mode 100644
index 0000000..8f0de7e
--- /dev/null
+++ b/workspace/core/src/internal/common.ts
@@ -0,0 +1,112 @@
+import colors from 'ansi-colors';
+import {sum} from 'effect/Number';
+
+import type {DisplayConfig} from '../DisplayConfig.js';
+
+export const showBorder = (
+    cfg: DisplayConfig,
+    columnWidths: number[],
+    position: 'top' | 'top-title' | 'middle' | 'bottom-title' | 'bottom',
+): string => {
+    const l = {
+        'top-title': cfg.cornerTopLeft,
+        top: cfg.cornerTopLeft,
+        middle: cfg.cornerLeft,
+        'bottom-title': cfg.cornerLeft,
+        bottom: cfg.cornerBottomLeft,
+    };
+
+    const r = {
+        'top-title': cfg.cornerTopRight,
+        top: cfg.cornerTopRight,
+        middle: cfg.cornerRight,
+        'bottom-title': cfg.cornerRight,
+        bottom: cfg.cornerBottomRight,
+    };
+
+    const m = {
+        'top-title': cfg.horizontal,
+        top: cfg.cornerTop,
+        middle: cfg.corner,
+        'bottom-title': cfg.cornerTop,
+        bottom: cfg.cornerBottom,
+    };
+
+    return (
+        l[position] +
+        columnWidths.reduce(
+            (s, w, i, xs) =>
+                s +
+                (i < xs.length - 1
+                    ? cfg.horizontal.repeat(w + cfg.columnPadding) + m[position]
+                    : cfg.horizontal.repeat(w + cfg.columnPadding)),
+            '',
+        ) +
+        r[position] +
+        '\n'
+    );
+};
+
+export const showHeader = (
+    cfg: DisplayConfig,
+    columnWidths: number[],
+    columns: {label: string}[],
+): string => {
+    return (
+        columns
+            .map(
+                ({label}, i) =>
+                    cfg.vertical + ' ' + label.padEnd(columnWidths[i]) + ' ',
+            )
+            .join('') +
+        cfg.vertical +
+        '\n'
+    );
+};
+
+export const showTitle = (
+    cfg: DisplayConfig,
+    columnWidths: number[],
+    title: string,
+): string => {
+    const diff = title.length - colors.stripColor(title).length;
+    return (
+        showBorder(cfg, columnWidths, 'top-title') +
+        cfg.vertical +
+        title
+            .padStart(title.length + 1)
+            .padEnd(
+                diff + columnWidths.reduce(sum) + columnWidths.length * 3 - 1,
+            ) +
+        cfg.vertical +
+        '\n' +
+        showBorder(cfg, columnWidths, 'bottom-title')
+    );
+};
+
+export const showRow = (
+    cfg: DisplayConfig,
+    row: [string, string[]][],
+    columnWidths: number[],
+    height: number,
+) => {
+    let s = '';
+    for (let j = 0; j < height; j++) {
+        for (let columnIndex = 0; columnIndex < row.length; columnIndex++) {
+            const [key, values] = row[columnIndex];
+            const x = values[j];
+            const u = colors.stripColor(x);
+            const w = columnWidths[columnIndex];
+            const n = w + x.length - u.length;
+            s += cfg.vertical + ' ' + x.padEnd(n) + ' ';
+        }
+        s += cfg.vertical + '\n';
+    }
+    return s;
+};
+
+export const colorPositive = (n: number) =>
+    n < 0 ? colors.red : n > 0 ? colors.green : colors.white;
+
+export const colorNegative = (n: number) =>
+    n > 0 ? colors.red : n < 0 ? colors.green : colors.white;
diff --git a/workspace/core/src/internal/diff.ts b/workspace/core/src/internal/diff.ts
new file mode 100644
index 0000000..c41ed63
--- /dev/null
+++ b/workspace/core/src/internal/diff.ts
@@ -0,0 +1,104 @@
+import colors from 'ansi-colors';
+
+import type {DisplayConfig} from '../DisplayConfig.js';
+import {
+    colorNegative,
+    colorPositive,
+    showBorder,
+    showHeader,
+    showRow,
+    showTitle,
+} from './common.js';
+import {makeDefault} from './DisplayConfig.js';
+import type {Diff} from '../Test.js';
+import type {DiffColumn, DiffColumnNames, DiffContext} from '../Show.js';
+
+const columns: DiffColumn[] = [
+    {
+        name: 'TP',
+        label: 'TP',
+        make: ({diff}: DiffContext) => [
+            colorPositive(diff.TP)(diff.TP.toString()),
+        ],
+    },
+    {
+        name: 'TN',
+        label: 'TN',
+        make: ({diff}: DiffContext) => [
+            colorPositive(diff.TN)(diff.TN.toString()),
+        ],
+    },
+    {
+        name: 'FP',
+        label: 'FP',
+        make: ({diff}: DiffContext) => [
+            colorNegative(diff.FP)(diff.FP.toString()),
+        ],
+    },
+    {
+        name: 'FN',
+        label: 'FN',
+        make: ({diff}: DiffContext) => [
+            colorNegative(diff.FN)(diff.FN.toString()),
+        ],
+    },
+    {
+        name: 'precision',
+        label: 'precision',
+        make: ({diff}: DiffContext) => [
+            colorPositive(diff.precision)(diff.precision.toFixed(2)),
+        ],
+    },
+    {
+        name: 'recall',
+        label: 'recall',
+        make: ({diff}: DiffContext) => [
+            colorPositive(diff.recall)(diff.recall.toFixed(2)),
+        ],
+    },
+];
+
+export const diff = ({
+    diff,
+    displayConfig,
+    selectColumns = ['TP', 'TN', 'FP', 'FN', 'precision', 'recall'],
+}: {
+    diff: Diff;
+    displayConfig?: Partial<DisplayConfig>;
+    selectColumns?: DiffColumnNames[];
+}): string => {
+    const cfg = {...makeDefault(), ...displayConfig};
+    const _columns = columns.filter(c => selectColumns.includes(c.name));
+
+    const display = {
+        precision: diff.precision.toFixed(2),
+        recall: diff.recall.toFixed(2),
+    };
+
+    const row: [string, string[]][] = _columns.map(({label, make}) => [
+        label,
+        make({diff}),
+    ]);
+
+    const columnWidths = _columns.map((m, i) =>
+        Math.max(
+            m.label.length,
+            ...row[i][1].map(s => colors.unstyle(s).length),
+        ),
+    );
+
+    const header = showHeader(cfg, columnWidths, _columns);
+    let s = '';
+    s += showTitle(cfg, columnWidths, colors.bold('DIFF'));
+    s += header;
+    s += showBorder(cfg, columnWidths, 'middle');
+
+    const height = row[0][1].length;
+    s += showRow(cfg, row, columnWidths, height);
+    s += showBorder(cfg, columnWidths, 'middle');
+
+    s += header;
+    s += showBorder(cfg, columnWidths, 'bottom');
+
+    return s;
+};
diff --git a/workspace/core/src/internal/format-diff.ts b/workspace/core/src/internal/format-diff.ts
new file mode 100644
index 0000000..4a83769
--- /dev/null
+++ b/workspace/core/src/internal/format-diff.ts
@@ -0,0 +1,236 @@
+import type {
+    AddedDelta,
+    ArrayDelta,
+    DeletedDelta,
+    Delta,
+    ModifiedDelta,
+    MovedDelta,
+    ObjectDelta,
+    TextDiffDelta,
+} from 'jsondiffpatch';
+import type {
+    BaseFormatterContext,
+    DeltaType,
+    NodeType,
+} from 'jsondiffpatch/formatters/base';
+import BaseFormatter from 'jsondiffpatch/formatters/base';
+import ansi from 'ansi-colors';
+
+const colors: {[key: string]: ansi.StyleFunction} = {
+    added: ansi.yellowBright,
+    deleted: ansi.red,
+    error: ansi.white.bgRed,
+    textDiffLine: ansi.gray,
+};
+
+interface ConsoleFormatterContext extends BaseFormatterContext {
+    indentLevel?: number;
+    indentPad?: string;
+    outLine: () => void;
+    indent: (levels?: number) => void;
+    color?: ansi.StyleFunction[];
+    pushColor: (color: ansi.StyleFunction) => void;
+    popColor: () => void;
+}
+
+class ConsoleFormatter extends BaseFormatter<ConsoleFormatterContext> {
+    constructor() {
+        super();
+        this.includeMoveDestinations = false;
+    }
+
+    prepareContext(context: Partial<ConsoleFormatterContext>) {
+        super.prepareContext(context);
+        context.indent = function (levels) {
+            this.indentLevel =
+                (this.indentLevel || 0) +
+                (typeof levels === 'undefined' ? 1 : levels);
+            this.indentPad = new Array(this.indentLevel + 1).join('  ');
+            this.outLine!();
+        };
+        context.outLine = function () {
+            this.buffer!.push(`\n${this.indentPad || ''}`);
+        };
+        context.out = function (...args) {
+            for (let i = 0, l = args.length; i < l; i++) {
+                const lines = args[i].split('\n');
+                let text = lines.join(`\n${this.indentPad || ''}`);
+                if (this.color && this.color[0]) {
+                    text = this.color[0](text);
+                }
+                this.buffer!.push(text);
+            }
+        };
+        context.pushColor = function (color) {
+            this.color = this.color || [];
+            this.color.unshift(color);
+        };
+        context.popColor = function () {
+            this.color = this.color || [];
+            this.color.shift();
+        };
+    }
+
+    typeFormattterErrorFormatter(
+        context: ConsoleFormatterContext,
+        err: unknown,
+    ) {
+        context.pushColor(colors.error);
+        // eslint-disable-next-line @typescript-eslint/restrict-template-expressions
+        context.out(`[ERROR]${err}`);
+        context.popColor();
+    }
+
+    formatValue(context: ConsoleFormatterContext, value: unknown) {
+        context.out(JSON.stringify(value, null, 2));
+    }
+
+    formatTextDiffString(context: ConsoleFormatterContext, value: string) {
+        const lines = this.parseTextDiff(value);
+        context.indent();
+        for (let i = 0, l = lines.length; i < l; i++) {
+            const line = lines[i];
+            context.pushColor(colors.textDiffLine);
+            context.out(`${line.location.line},${line.location.chr} `);
+            context.popColor();
+            const pieces = line.pieces;
+            for (
+                let pieceIndex = 0, piecesLength = pieces.length;
+                pieceIndex < piecesLength;
+                pieceIndex++
+            ) {
+                const piece = pieces[pieceIndex];
+                context.pushColor(colors[piece.type]);
+                context.out(piece.text);
+                context.popColor();
+            }
+            if (i < l - 1) {
+                context.outLine();
+            }
+        }
+        context.indent(-1);
+    }
+
+    rootBegin(
+        context: ConsoleFormatterContext,
+        type: DeltaType,
+        nodeType: NodeType,
+    ) {
+        context.pushColor(colors[type]);
+        if (type === 'node') {
+            context.out(nodeType === 'array' ? '[' : '{');
+            context.indent();
+        }
+    }
+
+    rootEnd(
+        context: ConsoleFormatterContext,
+        type: DeltaType,
+        nodeType: NodeType,
+    ) {
+        if (type === 'node') {
+            context.indent(-1);
+            context.out(nodeType === 'array' ? ']' : '}');
+        }
+        context.popColor();
+    }
+
+    nodeBegin(
+        context: ConsoleFormatterContext,
+        key: string,
+        leftKey: string | number,
+        type: DeltaType,
+        nodeType: NodeType,
+    ) {
+        context.pushColor(colors[type]);
+        context.out(`${leftKey}: `);
+        if (type === 'node') {
+            context.out(nodeType === 'array' ? '[' : '{');
+            context.indent();
+        }
+    }
+
+    nodeEnd(
+        context: ConsoleFormatterContext,
+        key: string,
+        leftKey: string | number,
+        type: DeltaType,
+        nodeType: NodeType,
+        isLast: boolean,
+    ) {
+        if (type === 'node') {
+            context.indent(-1);
+            context.out(nodeType === 'array' ? ']' : `}${isLast ? '' : ','}`);
+        }
+        if (!isLast) {
+            context.outLine();
+        }
+        context.popColor();
+    }
+
+    format_unchanged(
+        context: ConsoleFormatterContext,
+        delta: undefined,
+        left: unknown,
+    ) {
+        if (typeof left === 'undefined') {
+            return;
+        }
+        this.formatValue(context, left);
+    }
+
+    format_movedestination(
+        context: ConsoleFormatterContext,
+        delta: undefined,
+        left: unknown,
+    ) {
+        if (typeof left === 'undefined') {
+            return;
+        }
+        this.formatValue(context, left);
+    }
+
+    format_node(
+        context: ConsoleFormatterContext,
+        delta: ObjectDelta | ArrayDelta,
+        left: unknown,
+    ) {
+        // recurse
+        this.formatDeltaChildren(context, delta, left);
+    }
+
+    format_added(context: ConsoleFormatterContext, delta: AddedDelta) {
+        this.formatValue(context, delta[0]);
+    }
+
+    format_modified(context: ConsoleFormatterContext, delta: ModifiedDelta) {
+        context.pushColor(colors.deleted);
+        this.formatValue(context, delta[0]);
+        context.popColor();
+        context.out(' => ');
+        context.pushColor(colors.added);
+        this.formatValue(context, delta[1]);
+        context.popColor();
+    }
+
+    format_deleted(context: ConsoleFormatterContext, delta: DeletedDelta) {
+        this.formatValue(context, delta[0]);
+    }
+
+    format_moved(context: ConsoleFormatterContext, delta: MovedDelta) {
+        context.out(`==> ${delta[1]}`);
+    }
+
+    format_textdiff(context: ConsoleFormatterContext, delta: TextDiffDelta) {
+        this.formatTextDiffString(context, delta[0]);
+    }
+}
+
+let defaultInstance: ConsoleFormatter | undefined;
+
+export const formatDiff = (delta: Delta, left?: unknown) => {
+    if (!defaultInstance) {
+        defaultInstance = new ConsoleFormatter();
+    }
+    return defaultInstance.format(delta, left);
+};
diff --git a/workspace/core/src/internal/stats.ts b/workspace/core/src/internal/stats.ts
new file mode 100644
index 0000000..42ffd50
--- /dev/null
+++ b/workspace/core/src/internal/stats.ts
@@ -0,0 +1,97 @@
+import colors from 'ansi-colors';
+
+import type {DisplayConfig} from '../DisplayConfig.js';
+import {
+    colorNegative,
+    colorPositive,
+    showBorder,
+    showHeader,
+    showRow,
+    showTitle,
+} from './common.js';
+import type {TestRun} from './Test.js';
+import {makeDefault} from './DisplayConfig.js';
+import type {StatsColumn, StatsColumnNames, StatsContext} from '../Show.js';
+
+const columns: StatsColumn[] = [
+    {
+        name: 'TP',
+        label: 'TP',
+        make: ({stats}: StatsContext) => [
+            colorPositive(stats.TP)(stats.TP.toString()),
+        ],
+    },
+    {
+        name: 'TN',
+        label: 'TN',
+        make: ({stats}: StatsContext) => [
+            colorPositive(stats.TN)(stats.TN.toString()),
+        ],
+    },
+    {
+        name: 'FP',
+        label: 'FP',
+        make: ({stats}: StatsContext) => [
+            colorNegative(stats.FP)(stats.FP.toString()),
+        ],
+    },
+    {
+        name: 'FN',
+        label: 'FN',
+        make: ({stats}: StatsContext) => [
+            colorNegative(stats.FN)(stats.FN.toString()),
+        ],
+    },
+    {
+        name: 'precision',
+        label: 'precision',
+        make: ({stats}: StatsContext) => [stats.precision.toFixed(2)],
+    },
+    {
+        name: 'recall',
+        label: 'recall',
+        make: ({stats}: StatsContext) => [stats.recall.toFixed(2)],
+    },
+];
+
+export const stats = <I, O, T>({
+    testRun,
+    displayConfig,
+    selectColumns = ['TP', 'TN', 'FP', 'FN', 'precision', 'recall'],
+}: {
+    testRun: Pick<TestRun<I, O, T>, 'stats'>;
+    displayConfig?: Partial<DisplayConfig>;
+    selectColumns?: StatsColumnNames[];
+}): string => {
+    const cfg = {...makeDefault(), ...displayConfig};
+
+    const _columns = columns.filter(c => selectColumns.includes(c.name));
+
+    const row: [string, string[]][] = _columns.map(({label, make}) => [
+        label,
+        make({stats: testRun.stats}),
+    ]);
+
+    const columnWidths = _columns.map((m, i) =>
+        Math.max(
+            m.label.length,
+            ...row[i][1].map(s => colors.unstyle(s).length),
+        ),
+    );
+
+    const header = showHeader(cfg, columnWidths, _columns);
+    let s = '';
+    s += showTitle(cfg, columnWidths, colors.bold('STATS'));
+    s += header;
+    s += showBorder(cfg, columnWidths, 'middle');
+
+    const height = row[0][1].length;
+    s += showRow(cfg, row, columnWidths, height);
+
+    s += showBorder(cfg, columnWidths, 'middle');
+
+    s += header;
+    s += showBorder(cfg, columnWidths, 'bottom');
+
+    return s;
+};
diff --git a/workspace/core/src/internal/summarize.ts b/workspace/core/src/internal/summarize.ts
new file mode 100644
index 0000000..2d342fb
--- /dev/null
+++ b/workspace/core/src/internal/summarize.ts
@@ -0,0 +1,200 @@
+import colors from 'ansi-colors';
+import * as jdp from 'jsondiffpatch';
+
+import * as P from '../prelude.js';
+import {formatDiff} from './format-diff.js';
+import type {DisplayConfig} from '../DisplayConfig.js';
+import {showBorder, showHeader, showRow, showTitle} from './common.js';
+import type {TestRun as _TestRun} from '../Test.js';
+import {makeDefault} from './DisplayConfig.js';
+import type {
+    SummarizeColumn,
+    SummarizeColumnNames,
+    SummarizeContext,
+} from '../Show.js';
+
+const columns: SummarizeColumn[] = [
+    {
+        name: 'index',
+        label: '#',
+        make: ({i, ids}: SummarizeContext) => [`${i + 1}/${ids.length}`],
+    },
+    {
+        name: 'hash',
+        label: 'hash',
+        make: ({i, ids}: SummarizeContext) => [ids[i].slice(0, 8)],
+    },
+    {
+        name: 'input',
+        label: 'input',
+        make: ({i, ids, testRun}: SummarizeContext) =>
+            JSON.stringify(
+                testRun.testResultsById[ids[i]].input,
+                null,
+                2,
+            ).split('\n'),
+    },
+    {
+        name: 'tags',
+        label: 'tags',
+        make: ({i, ids, testRun}: SummarizeContext) =>
+            testRun.testResultsById[ids[i]].tags as string[],
+    },
+    {
+        name: 'label',
+        label: 'lbl',
+        make: ({i, ids, testRun, previousTestRun}: SummarizeContext) => {
+            const hasPrevious = previousTestRun.pipe(
+                P.O.map(_ => _.testResultsById[ids[i]].result),
+                P.O.isSome,
+            );
+            const label = testRun.testResultsById[ids[i]].label;
+            const color =
+                label === 'TP' || label === 'TN'
+                    ? hasPrevious
+                        ? colors.green
+                        : colors.blue
+                    : hasPrevious
+                      ? colors.red
+                      : colors.yellow;
+
+            return [color(label)];
+        },
+    },
+    {
+        name: 'expected',
+        label: 'expected',
+        make: ({i, ids, testRun}: SummarizeContext) =>
+            JSON.stringify(
+                testRun.testResultsById[ids[i]].expected,
+                null,
+                2,
+            ).split('\n'),
+    },
+    {
+        name: 'result',
+        label: 'result',
+        make: ({i, ids, testRun}: SummarizeContext) =>
+            JSON.stringify(
+                testRun.testResultsById[ids[i]].result,
+                null,
+                2,
+            ).split('\n'),
+    },
+    {
+        name: 'result_diff',
+        label: 'diff result',
+        make: ({i, ids, testRun}: SummarizeContext) =>
+            formatDiff(
+                jdp.diff(
+                    testRun.testResultsById[ids[i]].expected,
+                    testRun.testResultsById[ids[i]].result,
+                ),
+            )?.split('\n') || [],
+    },
+    {
+        name: 'prev_result',
+        label: 'previous result',
+        make: ({i, ids, testRun, previousTestRun}: SummarizeContext) =>
+            previousTestRun.pipe(
+                P.O.map(_ =>
+                    JSON.stringify(
+                        _.testResultsById[ids[i]].result,
+                        null,
+                        2,
+                    )?.split('\n'),
+                ),
+                P.O.getOrElse<string[]>(() => []),
+            ),
+    },
+    {
+        name: 'prev_result_diff',
+        label: 'diff previous result',
+        make: ({i, ids, testRun, previousTestRun}: SummarizeContext) =>
+            previousTestRun.pipe(
+                P.O.map(
+                    _ =>
+                        formatDiff(
+                            jdp.diff(
+                                testRun.testResultsById[ids[i]].expected,
+                                _.testResultsById[ids[i]].result,
+                            ),
+                        )?.split('\n') || [],
+                ),
+                P.O.getOrElse<string[]>(() => []),
+            ),
+    },
+];
+
+export const summarize = <I, O, T>({
+    testRun,
+    displayConfig,
+    previousTestRun = P.O.none(),
+    selectColumns = [
+        'index',
+        'hash',
+        'input',
+        'tags',
+        'label',
+        'expected',
+        'result_diff',
+        'prev_result_diff',
+    ],
+}: {
+    testRun: _TestRun<I, O, T>;
+    previousTestRun?: P.O.Option<_TestRun<I, O, T>>;
+    displayConfig?: Partial<DisplayConfig> | undefined;
+    selectColumns?: SummarizeColumnNames[];
+}) => {
+    const cfg = {...makeDefault(), ...displayConfig};
+
+    const ids = testRun.testResultIds;
+
+    const _columns = columns.filter(c => selectColumns.includes(c.name));
+    let columnWidths = _columns.map(m => m.label.length);
+
+    const rows = [];
+
+    for (let i = 0; i < ids.length; i++) {
+        const row: [string, string[]][] = _columns.map(({label, make}) => [
+            label,
+            make({i, ids, testRun, previousTestRun}),
+        ]);
+
+        columnWidths = columnWidths.map((w, i) =>
+            Math.max(w, ...row[i][1].map(s => colors.unstyle(s).length)),
+        );
+
+        const maxHeight = row.reduce(
+            (n, [key, values]) => Math.max(n, values.length),
+            1,
+        );
+
+        row.forEach(([key, values], i) => {
+            if (values.length < maxHeight) {
+                values.push(...Array(maxHeight - values.length).fill(''));
+            }
+        });
+
+        rows.push(row);
+    }
+
+    const header = showHeader(cfg, columnWidths, _columns);
+
+    let s = '';
+    s += showTitle(cfg, columnWidths, colors.bold('SUMMARY'));
+    s += header;
+    s += showBorder(cfg, columnWidths, 'middle');
+
+    for (let i = 0; i < rows.length; i++) {
+        const row = rows[i];
+        const height = row[i][1].length;
+        s += showRow(cfg, row, columnWidths, height);
+        s += showBorder(cfg, columnWidths, 'middle');
+    }
+
+    s += header;
+    s += showBorder(cfg, columnWidths, 'bottom');
+
+    return s;
+};
diff --git a/workspace/examples/CHANGELOG.md b/workspace/examples/CHANGELOG.md
index e5d4809..183bb2d 100644
--- a/workspace/examples/CHANGELOG.md
+++ b/workspace/examples/CHANGELOG.md
@@ -4,6 +4,14 @@
 
 ### Patch Changes
 
+- Updated dependencies
+  - @creative-introvert/prediction-testing@0.1.0
+  - @creative-introvert/prediction-testing-cli@0.1.0
+
+## null
+
+### Patch Changes
+
 - Updated dependencies
   - @creative-introvert/prediction-testing@0.0.7
   - @creative-introvert/prediction-testing-cli@0.0.4
diff --git a/workspace/examples/package.json b/workspace/examples/package.json
index a27d4a6..344eec0 100644
--- a/workspace/examples/package.json
+++ b/workspace/examples/package.json
@@ -13,12 +13,12 @@
     "dependencies": {
         "@creative-introvert/prediction-testing": "workspace:*",
         "@creative-introvert/prediction-testing-cli": "workspace:*",
-        "@effect/platform": "^0.50.1",
-        "@effect/platform-node": "^0.47.1",
-        "@effect/schema": "^0.66.4",
+        "@effect/platform": "^0.51.0",
+        "@effect/platform-node": "^0.48.0",
+        "@effect/schema": "^0.66.12",
         "ansi-colors": "^4.1.3",
-        "deep-object-diff": "^1.1.9",
-        "effect": "3.0.3"
+        "effect": "3.1.0",
+        "jsondiffpatch": "^0.6.0"
     },
     "version": null
 }
diff --git a/workspace/examples/src/as-library/async.ts b/workspace/examples/src/as-library/async.ts
index 5eca3ae..902d569 100644
--- a/workspace/examples/src/as-library/async.ts
+++ b/workspace/examples/src/as-library/async.ts
@@ -9,7 +9,7 @@ const program = (input: Input) =>
         Effect.delay(Duration.millis(500)),
     );
 
-const testCases: PT.TestCase<Input, Result>[] = [
+const testCases: PT.Test.TestCase<Input, Result>[] = [
     {input: 0, expected: 0},
     {input: 1, expected: 1},
     {input: 2, expected: 2},
@@ -19,7 +19,7 @@ const testCases: PT.TestCase<Input, Result>[] = [
 
 console.time('async');
 
-await PT.testAll({
+await PT.Test.all({
     testCases,
     program,
 }).pipe(
@@ -27,8 +27,8 @@ await PT.testAll({
         console.timeLog('async', 'got a result');
         return Effect.void;
     }),
-    PT.runFoldEffect,
-    Effect.tap(testRun => Console.log(PT.Show.summary({testRun}))),
+    PT.Test.runFoldEffect,
+    Effect.tap(testRun => Console.log(PT.Show.summarize({testRun}))),
     Effect.runPromise,
 );
 
diff --git a/workspace/examples/src/as-library/complex.ts b/workspace/examples/src/as-library/complex.ts
deleted file mode 100644
index 4ba2f17..0000000
--- a/workspace/examples/src/as-library/complex.ts
+++ /dev/null
@@ -1,88 +0,0 @@
-import {isDeepStrictEqual} from 'node:util';
-
-import * as PT from '@creative-introvert/prediction-testing';
-import {Console, Effect, Option, Stream, pipe} from 'effect';
-import * as diff from 'deep-object-diff';
-
-type Input = number;
-type Result = {foo: number};
-
-// Function under test.
-const program = (foo: Input) => Effect.succeed({foo: foo * 1.1});
-
-const testCases: PT.TestCase<Input, Result>[] = [
-    {input: 0, expected: {foo: 0}},
-    {input: 1, expected: {foo: 1}},
-    {input: 2, expected: {foo: 2}},
-    {input: 3, expected: {foo: 3}},
-    {input: 4, expected: {foo: 4}},
-];
-
-// An (optional) custom classifier. By default, it uses deep equality.
-const classify = PT.Classify.make<Result, Result>(
-    (output, expected) => Math.abs(expected.foo - output.foo) <= 0.2,
-);
-
-// Simulate a previous run with different results.
-const previousTestRun = PT.testAll({
-    testCases,
-    program: (foo: Input) => Effect.succeed({foo}),
-    classify,
-}).pipe(PT.runFoldEffect, Effect.runSync);
-
-void pipe(
-    PT.testAll({testCases, program, classify}),
-    // Tests are a stream, so you can hook into that.
-    Stream.tap(testResult => {
-        console.log(PT.Show.single({testResult}));
-        return Effect.void;
-    }),
-    // Collect test results.
-    PT.runFoldEffect,
-    // Show summary.
-    Effect.tap(testRun =>
-        Console.log(
-            PT.Show.summary({
-                testRun,
-                // With custom renderers. Default = JSON.stringify.
-                showInput: input => `input=${input}`,
-                showExpected: expected => `${expected.foo.toFixed(2)} +/- 0.2`,
-                // showResult gets the result and the expected value.
-                showResult: (result, expected) => {
-                    if (isDeepStrictEqual(result, expected)) {
-                        return JSON.stringify(result);
-                    }
-                    return JSON.stringify(
-                        Object.entries(
-                            diff.detailedDiff(expected, result),
-                        ).reduce(
-                            (m, [k, v]) => {
-                                if (Object.keys(v).length !== 0) {
-                                    m[k] = v;
-                                }
-                                return m;
-                            },
-                            {} as Record<string, unknown>,
-                        ),
-                    );
-                },
-                previousTestRun: Option.some(previousTestRun),
-            }),
-        ),
-    ),
-    // Show stats.
-    Effect.tap(testRun => Console.log(PT.Show.stats({testRun}))),
-    // Show diff to previous run.
-    Effect.tap(testRun =>
-        Console.log(
-            PT.Show.diff({
-                testRun,
-                diff: PT.diff({
-                    testRun,
-                    previousTestRun: Option.some(previousTestRun),
-                }),
-            }),
-        ),
-    ),
-    Effect.runSync,
-);
diff --git a/workspace/examples/src/as-library/simple.ts b/workspace/examples/src/as-library/simple.ts
index 18b05eb..7093f5a 100644
--- a/workspace/examples/src/as-library/simple.ts
+++ b/workspace/examples/src/as-library/simple.ts
@@ -1,15 +1,54 @@
 import * as PT from '@creative-introvert/prediction-testing';
-import {Effect} from 'effect';
-
-const testRun = await PT.runAll({
-    testCases: [
-        {input: 0, expected: 0},
-        {input: 1, expected: 2},
-        {input: 2, expected: 3},
-        {input: 3, expected: 4},
-        {input: 4, expected: 5},
-    ],
-    program: input => Effect.sync(() => input * 2),
+import {Effect, Option} from 'effect';
+
+type TestCase = PT.Test.TestCase<
+    {BRAND: string; MODEL?: number; MACHINE_TYPE?: string},
+    {BRAND: string; MODEL?: number}
+>;
+
+const testCases: TestCase[] = [
+    {input: {BRAND: 'Claas'}, expected: {BRAND: 'Claas'}},
+    {input: {BRAND: 'John Deere'}, expected: {BRAND: 'John Deere'}},
+    {
+        input: {BRAND: 'John Deere', MODEL: 8100},
+        expected: {BRAND: 'John Deere', MODEL: 8300},
+    },
+    {
+        input: {
+            BRAND: 'John Deere',
+            MODEL: 8400,
+            MACHINE_TYPE: 'tractor',
+        },
+        expected: {
+            BRAND: 'John Deere',
+            MODEL: 8400,
+        },
+    },
+];
+
+const testRun1 = await PT.Test.runAll({
+    testCases,
+    program: input => Effect.sync(() => input),
+});
+
+const testRun2 = await PT.Test.runAll({
+    testCases,
+    program: input =>
+        Effect.sync(() => ({...input, MODEL: input?.MODEL ?? 0 + 100})),
+});
+
+console.log(
+    PT.Show.summarize({
+        testRun: testRun1,
+        previousTestRun: Option.some(testRun2),
+    }),
+);
+
+console.log(PT.Show.stats({testRun: testRun1}));
+
+const diff = PT.Test.diff({
+    testRun: testRun1,
+    previousTestRun: Option.some(testRun2),
 });
 
-console.log(PT.Show.summary({testRun}));
+console.log(PT.Show.diff({diff}));
diff --git a/workspace/examples/src/sandbox.ts b/workspace/examples/src/sandbox.ts
new file mode 100644
index 0000000..ac3be32
--- /dev/null
+++ b/workspace/examples/src/sandbox.ts
@@ -0,0 +1,22 @@
+import * as jdpf from 'jsondiffpatch/formatters/console';
+import * as jsd from 'jsondiffpatch';
+import colors from 'ansi-colors';
+import * as A from 'effect/Array';
+import {dual} from 'effect/Function';
+
+const rows = [
+    [
+        ['a', 'b', 'c'],
+        ['x', '', ''],
+        ['{', 'foo=2', '}'],
+    ],
+    [
+        ['a', 'b', 'c'],
+        ['x', '', ''],
+        ['{', 'foo=2', '}'],
+    ],
+];
+
+const r = A.zipWith(rows[0][0], rows[0][1], (ca, cb) => `${ca} | ${cb}`);
+
+console.log(r);
diff --git a/workspace/examples/src/with-cli/simple.ts b/workspace/examples/src/with-cli/simple.ts
index 1846121..83da1f5 100644
--- a/workspace/examples/src/with-cli/simple.ts
+++ b/workspace/examples/src/with-cli/simple.ts
@@ -6,7 +6,7 @@ const myFunction = (input: number) => Promise.resolve(input * 2);
 void CLI.run({
     testSuite: {
         // Convert myFunction to Effect-returning.
-        program: (input: number) => Effect.promise(() => myFunction(input)),
+        program: (n: number) => Effect.promise(() => myFunction(n)),
         testCases: [
             {input: 0, expected: 0},
             {input: 1, expected: 2},
@@ -15,7 +15,6 @@ void CLI.run({
             {input: 4, expected: 5},
         ],
     },
-    showTags: false,
     testSuiteName: 'simple',
     // Currently, test results are written to the file-system.
     // This will be replaced by an SQLite backend soon™.