Just published an episode about nix-effects: A pure Nix toolkit for effectful programs, typed validation, verified boundaries, and description-backed DSLs. If you were...