[functionals.default] fixed as_vector()