Wow it seems like gov.uk is actually using guix for configuration management https://github.com/alphagov/govuk-guix