Put the NixOS channel in an option