If you want to explore other immutable and declarative OSes – as well –, you could take Guix for a spin, too (and you can install things such as proprietary software with the NonGuix software repository, in case that’s a concern any).