[ANN] recollections: fixed-size representable collections

There is a certain pattern that I happen to reach for quite often: data Collection a = Collection { this, that, something, else', entirely :: a } deriving stock (Eq, Show, Generic1, Functor, Foldable, Traversable) deriving Applicative via (Generically1 Collection) -- this one That Applicative instance adds so much power for one simple line. GHC 9.4 brought Generically1 into base, thanks to all the DerivingVia enjoyers out there. Previously I had to go through distributive+representab...