We're supposed to use parameter::value_type instead of parameter::binding for named template parameters.