Instances for sized vectors

[expipiplus1]

It would be good to get your thoughts on instances for sized vectors in the vector-sized package: https://hackage.haskell.org/package/vector-sized

These instances already exist in the vector-sized package, however at lestthe Representable instance is probably going away in the next major release. See here for the discussion:
expipiplus1/vector-sized#39

vector-sized has a very light dependency tree, and is a pretty textbook example of a distributive and representable functor. It would be nice if these instances could find a new home here.

[phadej]

Few comments

• distributive is Haskell98 package.
• With recent GHC the non-boot dependencies are tagged and base-orphans`.

So I suggest vector-sized depends on distributive.

(EDIT: I'm also 👎 on adding dependency to adjunctions, where Representable is defined).

[phadej]

Addition, see https://raw.githubusercontent.com/phadej/acme-kmett/master/deps-8.4.png distributive is at the bottom of Edward's package hierarchy.

[expipiplus1]

oops! I should have probably opened this against adjunctions! That's where the more heavy dependency pull in for vector-sized is.