even more elegant norm type deduction (recursive value_type analysis)