Searching protocol for "mkOption"
Master Nix option types with strict patterns.
Define robust Nix option interfaces.
Pattern-driven NixOS module design.