https://ops.functionalalgebra.com/nix-by-example/