https://blog.kleisli.io/ https://blog.kleisli.io/post/dependent-types-in-pure-nix 2026-02-24 https://blog.kleisli.io/post/trampolining-nix-with-generic-closure 2026-02-22 https://blog.kleisli.io/post/agent-coordination-distributed-systems 2026-02-20 https://blog.kleisli.io/tag/coordination https://blog.kleisli.io/tag/crdt https://blog.kleisli.io/tag/dependent-types https://blog.kleisli.io/tag/distributed-systems https://blog.kleisli.io/tag/event-sourcing https://blog.kleisli.io/tag/genericClosure https://blog.kleisli.io/tag/nix https://blog.kleisli.io/tag/nix-effects https://blog.kleisli.io/tag/proof-checker https://blog.kleisli.io/tag/trampoline https://blog.kleisli.io/tag/type-theory