Update sbt-typelevel-ci-release to 0.4.1

Migrate to sbt-typelevel-ci-release

Update auxlib, javalib, junit-plugin, ... to 0.4.3

add typeableNative

Update sbt-github-actions to 0.14.2

scala-native

Update junit-interface to 0.13.3

Update sbt to 1.5.8

Update sbt to 1.5.7

Update sbt-scalajs, ... to 1.8.0

Update sbt to 1.5.6

Update cats-core to 2.7.0

Revert "Update scala3-library, ... to 3.1.0"

Make ProductInstances lazy so derivation works for recursive types

Update junit-interface to 0.13.2

Update scala3-library, ... to 3.1.0

Update sbt-ci-release to 1.5.10

Add bounds to CoproductInstances methods

This restricts the implementation of sums to subtypes,
but this implementation is already restri...

Update sbt-scalajs, ... to 1.7.1

Update sbt-mima-plugin to 1.0.1

Update url. `milessabin/shapeless` => `typelevel/shapeless-3`

Remove code duplication of summonFirst0

Fix embarrassing traverse bugs 🙈

For an empty product we have to still wrap it in `pure`.
This wasn't caught because case objects...

Update sbt-ci-release to 1.5.9

Update scala3-library, ... to 3.0.2

Update sbt-scalajs, ... to 1.7.0

Scala 3.0.1

Update sbt to 1.5.5

Fix MirroredMonoType in Kind

So that Generic.fromProduct doesn't require a cast

We will never learn xD

Update sbt to 1.5.4

Add widen methods for Instances