nix-effects: A pure Nix toolkit for effectful programs, typed validation, verified boundaries, and description-backed DSLs. I have asked the author of nix-effects, Mika Bohinen, all of the dumbest questions and, who knows, maybe even some good ones.
fulltimenix.com/episodes/nix...
