https://docs.kleisli.io/ https://docs.kleisli.io/mcp https://docs.kleisli.io/cairn https://docs.kleisli.io/cairn/get-started https://docs.kleisli.io/cairn/get-started/install-cairn https://docs.kleisli.io/cairn/get-started/your-first-cairn-session https://docs.kleisli.io/cairn/get-started/plan-and-resume https://docs.kleisli.io/cairn/concepts https://docs.kleisli.io/cairn/concepts/what-cairn-is https://docs.kleisli.io/cairn/concepts/the-task-graph https://docs.kleisli.io/cairn/concepts/tasks-observations-handoffs https://docs.kleisli.io/cairn/concepts/plans-phases-and-the-frontier https://docs.kleisli.io/cairn/concepts/the-current-task-pointer https://docs.kleisli.io/cairn/concepts/events-projection-and-reconcile https://docs.kleisli.io/cairn/concepts/reads-writes-and-capabilities https://docs.kleisli.io/cairn/concepts/the-cairn-method https://docs.kleisli.io/cairn/reference https://docs.kleisli.io/cairn/reference/tools https://docs.kleisli.io/cairn/reference/tq-language https://docs.kleisli.io/cairn/reference/views https://docs.kleisli.io/cairn/reference/edges-statuses-and-fields https://docs.kleisli.io/cairn/cli https://docs.kleisli.io/cairn/cli/slash-commands https://docs.kleisli.io/cairn/cli/mcp-serve https://docs.kleisli.io/cairn/cli/index https://docs.kleisli.io/cairn/concepts/index https://docs.kleisli.io/cairn/get-started/index https://docs.kleisli.io/cairn/reference/index https://docs.kleisli.io/kli https://docs.kleisli.io/kli/get-started https://docs.kleisli.io/kli/get-started/teaching-kli-your-project https://docs.kleisli.io/kli/guides https://docs.kleisli.io/kli/guides/choose-and-switch-models https://docs.kleisli.io/kli/guides/connect-a-provider https://docs.kleisli.io/kli/guides/add-a-custom-openai-compatible-provider https://docs.kleisli.io/kli/guides/run-commands-and-eval-lisp https://docs.kleisli.io/kli/guides/persist-and-resume-sessions https://docs.kleisli.io/kli/guides/manage-long-conversations https://docs.kleisli.io/kli/guides/inspect-and-edit-context https://docs.kleisli.io/kli/guides/steer-a-running-turn https://docs.kleisli.io/kli/guides/restrict-what-kli-can-do https://docs.kleisli.io/kli/guides/work-in-the-tui https://docs.kleisli.io/kli/guides/run-kli-headless-or-piped https://docs.kleisli.io/kli/guides/switch-and-customize-profiles https://docs.kleisli.io/kli/guides/update-kli https://docs.kleisli.io/kli/guides/log-observability-events https://docs.kleisli.io/kli/concepts https://docs.kleisli.io/kli/concepts/the-live-image https://docs.kleisli.io/kli/concepts/extensions-all-the-way-down https://docs.kleisli.io/kli/concepts/the-agent-loop https://docs.kleisli.io/kli/concepts/sessions-as-a-tree https://docs.kleisli.io/kli/concepts/context-and-the-system-prompt https://docs.kleisli.io/kli/concepts/tools-and-hashline-edits https://docs.kleisli.io/kli/concepts/capabilities-and-fault-barriers https://docs.kleisli.io/kli/concepts/security-model-and-sandboxing https://docs.kleisli.io/kli/concepts/profiles https://docs.kleisli.io/kli/concepts/models-providers-and-transports https://docs.kleisli.io/kli/extend https://docs.kleisli.io/kli/extend/choosing-an-altitude https://docs.kleisli.io/kli/extend/prompt-templates https://docs.kleisli.io/kli/extend/prompt-templates/anatomy https://docs.kleisli.io/kli/extend/prompt-templates/write-your-first https://docs.kleisli.io/kli/extend/prompt-templates/using-arguments https://docs.kleisli.io/kli/extend/prompt-templates/examples https://docs.kleisli.io/kli/extend/skills https://docs.kleisli.io/kli/extend/skills/anatomy https://docs.kleisli.io/kli/extend/skills/write-your-first https://docs.kleisli.io/kli/extend/skills/authoring-and-discovery https://docs.kleisli.io/kli/extend/skills/examples https://docs.kleisli.io/kli/extend/lisp-extensions https://docs.kleisli.io/kli/extend/lisp-extensions/anatomy https://docs.kleisli.io/kli/extend/lisp-extensions/write-your-first https://docs.kleisli.io/kli/extend/lisp-extensions/contribution-kinds https://docs.kleisli.io/kli/extend/lisp-extensions/defining-a-contribution-kind https://docs.kleisli.io/kli/extend/lisp-extensions/recoding-live https://docs.kleisli.io/kli/extend/lisp-extensions/loading-and-managing https://docs.kleisli.io/kli/extend/lisp-extensions/examples https://docs.kleisli.io/kli/extend/sharing-extensions https://docs.kleisli.io/kli/extend/publishing-extensions https://docs.kleisli.io/kli/cli https://docs.kleisli.io/kli/cli/installation https://docs.kleisli.io/kli/cli/environment-variables https://docs.kleisli.io/kli/cli/docs https://docs.kleisli.io/kli/commands https://docs.kleisli.io/kli/commands/slash-commands https://docs.kleisli.io/kli/commands/tools https://docs.kleisli.io/kli/commands/keymap https://docs.kleisli.io/kli/commands/themes https://docs.kleisli.io/kli/config https://docs.kleisli.io/kli/config/settings https://docs.kleisli.io/kli/config/config-json https://docs.kleisli.io/kli/config/nix-module https://docs.kleisli.io/kli/config/capabilities https://docs.kleisli.io/kli/config/profiles https://docs.kleisli.io/kli/config/files-and-paths https://docs.kleisli.io/kli/models https://docs.kleisli.io/kli/models/providers-and-transports https://docs.kleisli.io/kli/cli/index https://docs.kleisli.io/kli/commands/index https://docs.kleisli.io/kli/concepts/index https://docs.kleisli.io/kli/config/index https://docs.kleisli.io/kli/extend/index https://docs.kleisli.io/kli/get-started/index https://docs.kleisli.io/kli/guides/index https://docs.kleisli.io/kli/models/index https://docs.kleisli.io/metaBuilder https://docs.kleisli.io/metaBuilder/manual https://docs.kleisli.io/metaBuilder/manual/introduction https://docs.kleisli.io/metaBuilder/manual/getting-started https://docs.kleisli.io/metaBuilder/manual/builder-specs https://docs.kleisli.io/metaBuilder/manual/operations https://docs.kleisli.io/metaBuilder/manual/programs-and-views https://docs.kleisli.io/metaBuilder/manual/designing-builder-surfaces https://docs.kleisli.io/metaBuilder/manual/outputs-evidence-runtime https://docs.kleisli.io/metaBuilder/manual/materialization-model https://docs.kleisli.io/metaBuilder/manual/authoring-production-builders https://docs.kleisli.io/metaBuilder/theory https://docs.kleisli.io/metaBuilder/theory/builders-as-descriptions https://docs.kleisli.io/metaBuilder/theory/internalized-programs https://docs.kleisli.io/metaBuilder/theory/ornaments-and-domain-surfaces https://docs.kleisli.io/metaBuilder/theory/interpretation-and-views https://docs.kleisli.io/metaBuilder/theory/evidence-descriptors-runtime https://docs.kleisli.io/metaBuilder/examples https://docs.kleisli.io/metaBuilder/examples/node-service https://docs.kleisli.io/metaBuilder/examples/node-service/source https://docs.kleisli.io/metaBuilder/examples/node-service/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/node-service/source/server.js https://docs.kleisli.io/metaBuilder/examples/c-codegen https://docs.kleisli.io/metaBuilder/examples/c-codegen/source https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/messages.def https://docs.kleisli.io/metaBuilder/examples/c-codegen/source/main.c https://docs.kleisli.io/metaBuilder/examples/bridge https://docs.kleisli.io/metaBuilder/examples/bridge/source https://docs.kleisli.io/metaBuilder/examples/bridge/source/bridge.nix https://docs.kleisli.io/metaBuilder/examples/idl https://docs.kleisli.io/metaBuilder/examples/idl/source https://docs.kleisli.io/metaBuilder/examples/idl/source/builder.nix https://docs.kleisli.io/metaBuilder/examples/idl/source/schema.proto https://docs.kleisli.io/metaBuilder/examples/oci-image https://docs.kleisli.io/metaBuilder/examples/oci-image/source https://docs.kleisli.io/metaBuilder/examples/oci-image/source/builder.nix https://docs.kleisli.io/metaBuilder/core-api https://docs.kleisli.io/metaBuilder/core-api/descriptions https://docs.kleisli.io/metaBuilder/core-api/operations https://docs.kleisli.io/metaBuilder/program https://docs.kleisli.io/metaBuilder/program/validate https://docs.kleisli.io/metaBuilder/program/deps https://docs.kleisli.io/metaBuilder/program/dry-run https://docs.kleisli.io/metaBuilder/program/plan-view https://docs.kleisli.io/metaBuilder/program/describe https://docs.kleisli.io/metaBuilder/program/introspect https://docs.kleisli.io/metaBuilder/program/materialize https://docs.kleisli.io/metaBuilder/program/backends https://docs.kleisli.io/metaBuilder/program/former https://docs.kleisli.io/metaBuilder/program/plan-export https://docs.kleisli.io/metaBuilder/reference https://docs.kleisli.io/metaBuilder/reference/schemas https://docs.kleisli.io/metaBuilder/reference/datatypes https://docs.kleisli.io/metaBuilder/ornaments https://docs.kleisli.io/metaBuilder/ornaments/project-builder https://docs.kleisli.io/metaBuilder/ornaments/dependencies https://docs.kleisli.io/metaBuilder/ornaments/implementations https://docs.kleisli.io/metaBuilder/ornaments/toolEnv https://docs.kleisli.io/metaBuilder/ornaments/testing https://docs.kleisli.io/metaBuilder/ornaments/vendoring https://docs.kleisli.io/metaBuilder/ornaments/code-gen https://docs.kleisli.io/metaBuilder/ornaments/idl https://docs.kleisli.io/metaBuilder/ornaments/capabilities https://docs.kleisli.io/metaBuilder/ornaments/protocol https://docs.kleisli.io/metaBuilder/ornaments/service https://docs.kleisli.io/metaBuilder/ornaments/replServer https://docs.kleisli.io/metaBuilder/ornaments/sandbox https://docs.kleisli.io/metaBuilder/ornaments/transform https://docs.kleisli.io/metaBuilder/ornaments/oci-image https://docs.kleisli.io/metaBuilder/lib https://docs.kleisli.io/metaBuilder/lib/tool-env https://docs.kleisli.io/metaBuilder/lib/toolchain https://docs.kleisli.io/metaBuilder/lib/passthru https://docs.kleisli.io/metaBuilder/lib/bundled https://docs.kleisli.io/metaBuilder/lib/dashboard https://docs.kleisli.io/metaBuilder/lib/contentAddress https://docs.kleisli.io/metaBuilder/examples/index https://docs.kleisli.io/metaBuilder/manual/index https://docs.kleisli.io/metaBuilder/theory/index https://docs.kleisli.io/nix-effects https://docs.kleisli.io/nix-effects/guide https://docs.kleisli.io/nix-effects/guide/introduction 2026-05-15 https://docs.kleisli.io/nix-effects/guide/getting-started 2026-05-15 https://docs.kleisli.io/nix-effects/guide/effects-and-handlers 2026-06-26 https://docs.kleisli.io/nix-effects/guide/typed-validation 2026-05-15 https://docs.kleisli.io/nix-effects/guide/generated-datatypes 2026-05-15 https://docs.kleisli.io/nix-effects/guide/generic-programming 2026-05-15 https://docs.kleisli.io/nix-effects/guide/ornaments 2026-05-20 https://docs.kleisli.io/nix-effects/guide/proof-guide 2026-06-25 https://docs.kleisli.io/nix-effects/guide/sugar 2026-05-17 https://docs.kleisli.io/nix-effects/concepts https://docs.kleisli.io/nix-effects/concepts/theory 2026-05-18 https://docs.kleisli.io/nix-effects/internals https://docs.kleisli.io/nix-effects/internals/trampoline 2026-06-08 https://docs.kleisli.io/nix-effects/internals/kernel-architecture 2026-05-15 https://docs.kleisli.io/nix-effects/internals/kernel-spec 2026-06-26 https://docs.kleisli.io/nix-effects/examples https://docs.kleisli.io/nix-effects/proof-examples https://docs.kleisli.io/nix-effects/proof-examples/proofBasics https://docs.kleisli.io/nix-effects/proof-examples/equalityProofs https://docs.kleisli.io/nix-effects/proof-examples/verifiedFunctions https://docs.kleisli.io/nix-effects/effect-examples https://docs.kleisli.io/nix-effects/effect-examples/handlerSwapValidation https://docs.kleisli.io/nix-effects/surface-examples https://docs.kleisli.io/nix-effects/surface-examples/stlc https://docs.kleisli.io/nix-effects/surface-examples/stlc/core https://docs.kleisli.io/nix-effects/surface-examples/stlc/sumsProducts https://docs.kleisli.io/nix-effects/surface-examples/stlc/recursiveLists https://docs.kleisli.io/nix-effects/surface-examples/stlc/refinementsDiagnostics https://docs.kleisli.io/nix-effects/application-examples https://docs.kleisli.io/nix-effects/application-examples/categoryTheory https://docs.kleisli.io/nix-effects/application-examples/interp https://docs.kleisli.io/nix-effects/application-examples/buildSim https://docs.kleisli.io/nix-effects/core-api https://docs.kleisli.io/nix-effects/core-api/kernel 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/comp 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/binds 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/trampoline 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/queue 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/adapt 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/pipeline 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/state 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/state/thunk 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/sugar 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/build 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/build/types 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/compose 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/compose-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/composed-shortcut 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/composed-shortcut-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/desc 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/descind-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error-shortcut-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/error-uniform-shortcut-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/state 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/state-shortcut-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/typecheck 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/effects/typecheck-shortcut-laws 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/extract 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/kernel 2026-06-25 https://docs.kleisli.io/nix-effects/core-api/experimental/desc-interp/trampoline 2026-06-25 https://docs.kleisli.io/nix-effects/diag https://docs.kleisli.io/nix-effects/diag/positions 2026-06-23 https://docs.kleisli.io/nix-effects/diag/error 2026-06-23 https://docs.kleisli.io/nix-effects/diag/hints 2026-06-23 https://docs.kleisli.io/nix-effects/diag/pretty 2026-06-23 https://docs.kleisli.io/nix-effects/effects https://docs.kleisli.io/nix-effects/effects/state 2026-07-03 https://docs.kleisli.io/nix-effects/effects/reader 2026-07-03 https://docs.kleisli.io/nix-effects/effects/writer 2026-07-03 https://docs.kleisli.io/nix-effects/effects/acc 2026-07-03 https://docs.kleisli.io/nix-effects/effects/error 2026-07-03 https://docs.kleisli.io/nix-effects/effects/conditions 2026-07-03 https://docs.kleisli.io/nix-effects/effects/choice 2026-07-03 https://docs.kleisli.io/nix-effects/effects/scope 2026-07-03 https://docs.kleisli.io/nix-effects/effects/linear 2026-07-03 https://docs.kleisli.io/nix-effects/effects/typecheck 2026-07-03 https://docs.kleisli.io/nix-effects/effects/hasHandler 2026-07-03 https://docs.kleisli.io/nix-effects/types https://docs.kleisli.io/nix-effects/types/foundation 2026-07-03 https://docs.kleisli.io/nix-effects/types/primitives 2026-07-03 https://docs.kleisli.io/nix-effects/types/constructors 2026-07-03 https://docs.kleisli.io/nix-effects/types/refinement 2026-07-03 https://docs.kleisli.io/nix-effects/types/dependent 2026-07-03 https://docs.kleisli.io/nix-effects/types/linear 2026-07-03 https://docs.kleisli.io/nix-effects/types/universe 2026-07-03 https://docs.kleisli.io/nix-effects/streams https://docs.kleisli.io/nix-effects/streams/core 2026-07-03 https://docs.kleisli.io/nix-effects/streams/transform 2026-07-03 https://docs.kleisli.io/nix-effects/streams/limit 2026-07-03 https://docs.kleisli.io/nix-effects/streams/combine 2026-07-03 https://docs.kleisli.io/nix-effects/streams/reduce 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker https://docs.kleisli.io/nix-effects/type-checker/term 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/value 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/quote 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/conv 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/eval 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/eval/_internal 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/eval/dispatch 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/check 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/check/diag 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/check/_internal 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/elaborate 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/elaborate/meta 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/elaborate/_internal 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/hoas 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_encoders 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_forced 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/hoas/_internal/_indexed 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/surface 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/surface/registry 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/desc 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/datatype 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/value 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/derive 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/check 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/checkD 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/generic/ornaments 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/verified 2026-07-03 https://docs.kleisli.io/nix-effects/type-checker/kernel 2026-07-03 https://docs.kleisli.io/nix-effects/diag-hints https://docs.kleisli.io/nix-effects/diag-hints/dargsort-universe-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dpisort-universe-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/levelmaxlhs-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/levelmaxrhs-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/levelsucpred-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/ulevel-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/anntype-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/jtype-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/motive-pidom-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/motive-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/picod-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/pidom-not-a-type 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dargbody-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dpibody-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dplusl-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dplusr-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/drectail-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/mudesc-not-a-desc 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/apphead-not-a-function 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dpifn-not-a-function 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/motive-not-a-function 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/opaquetype-not-a-function 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dpifn-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/drecindex-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/dretindex-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/muindex-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/mupayload-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/elem-inhabitation-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/field-inhabitation-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/sigmafst-inhabitation-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/sigmasnd-inhabitation-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/tag-inhabitation-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/elem-refinement-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/field-refinement-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/sigmafst-refinement-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/sigmasnd-refinement-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/tag-refinement-failed 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/case-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/scrut-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/annterm-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/apparg-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/jtype-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/opaquetype-type-mismatch 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-inl 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-inr 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-boot-refl 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-lam 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-other 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-pair 2026-06-23 https://docs.kleisli.io/nix-effects/diag-hints/unhandled-tt 2026-06-23 https://docs.kleisli.io/nix-effects/application-examples/index https://docs.kleisli.io/nix-effects/concepts/index https://docs.kleisli.io/nix-effects/diag-hints/index https://docs.kleisli.io/nix-effects/effect-examples/index https://docs.kleisli.io/nix-effects/examples/index https://docs.kleisli.io/nix-effects/guide/index https://docs.kleisli.io/nix-effects/internals/index https://docs.kleisli.io/nix-effects/proof-examples/index https://docs.kleisli.io/nix-effects/surface-examples/index