I now the principle of nixos and assume guix works kinda the same. Tell me what's the problem with static typing and nix in general that guix could have improved upon?!