:: a b -> c -is:exact

Default definition for norm that is based on Foldable class.
Default definition for norm that is based on Foldable class and the argument vector has at least one component.