Add support for typed kinds

typelevel / shapeless-3

Generic programming for Scala

189 stars 22 forks source link

Open Kalin-Rudnicki opened 8 months ago

Kalin-Rudnicki commented 8 months ago

given:

trait MyTypeClass[T <: TypeRestriction]

you can not specify :

K1.Generic[MyTypeClass]

This means if your type-class has a type restriction, now you can't derive using shapeless-3 anymore.

joroKr21 commented 2 months ago

A step in this direction (although not there yet): #221