Consider adding generically as a base-compat-batteries dependency

[RyanGlScott]

No description provided.

[phadej]

You can add OneTuple as well to the list. Though it will have a major bump soon as constructor Solo is renamed to MkSolo

[RyanGlScott]

OneTuple is already a dependency, if I'm not mistaken:

base-compat/base-compat-batteries/base-compat-batteries.cabal

Lines 73 to 75 in 2cbb56e

	if !impl(ghc >= 9.0)
	build-depends:
	OneTuple >= 0.3 && < 0.4

[phadej]

Oh, nice! nevermind then. (But be prepared for a major bump).

[RyanGlScott]

To make things a bit easier, I'll do this in separate PRs. I'll start out with OneTuple, which I've done in #88.

[RyanGlScott]

I've opened #89 for foldable1-classes-compat.

Thinking about generically a bit more, adding support for it would imply that we would need to add GHC.Generics.Compat, as Generically(1) live in GHC.Generics. This would be new territory for base-compat-batteries, as it hasn't backported any modules in the GHC.* namespace yet. Perhaps it should, given how widely used GHC.Generics is, but I imagine that getting all of the CPP needed to support GHC.Generics.Compat across all supported GHC versions will be a fair bit of work.

For these reason, I'm considering holding off on adding generically to base-compat-batteries-0.13.0, as getting the details of GHC.Generics.Compat just right would be a long journey. Moreover, I don't want to let this hold up a release of base-compat-batteries that is compatible with GHC 9.6.