return ! $bindings        ? undef                  :
       var_match $pattern ? extend $bindings       :
       @$input            ? pat_match(rest $input) :
                            $default_value;