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