If you want a category theoretically-informed configuration language that has real-world use, then use nix. It's precisely this, and there's a reason it has th

If you want a category theoretically-informed configuration language that has real-world use, then use nix. It's precisely this, and there's a reason it has the largest package repo on the planet