The article proposes extending Nix with builtins that check whether a function accepts an argument and combine partial functions, plus an operator for branch syntax. It argues these additions could provide pattern matching while preserving laziness and error propagation.