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