Miles Sabin

Fair comment. Are you able to make any headway with the TypeClass demos in the examples subproject? Or the examples in the tests?

OK, this might be better handled by a question on Stack Overflow.

I was suggesting posting on SO to get a worked out answer. That might form the basis of an addition to the scaladoc or wiki. All contributions stand a very...

I like us to get off using `Symbol` for labels irrespective of the Scala version ... it was always a mistake. That's already done in shapeless 3, but that's Scala...

@Katrix I agree with @joroKr21 on all points. > ∃ I am fairly certain is not representable in Scala 3. ∀ might still be possible? If it is, it needs...

> Should we add a type level `->>` to replace [`Record` and `Union`] Yes, I think that's a good idea. > What is NatWith? > What is WitnessWith? Both of...

Compute an intersection of structural types of the form `{ key: ValueType }`.

An HList of type constructors could be used to pull in multiple type class instances for a single type en-mass.

Thanks @fthomas ... looks like there's nothing we can do about it here. I've pinged Jason to see if there's any chance of his fix going in for 2.12.0-M4. I'll...

Honestly I have no recollection of what this issue is about and the description and the gist are leaving me none the wiser. I don't have any strong feelings about...