:: m a -> _

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.