Non-empty vectors can have `instance Foldable1`, see https://ghc.gitlab.haskell.org/ghc/doc/libraries/base-4.18.0.0/Data-Foldable1.html.