Add support for typed kinds

given:
```scala
trait MyTypeClass[T <: TypeRestriction]
```

you can not specify :
```scala
K1.Generic[MyTypeClass]
```

This means if your type-class has a type restriction, now you can't derive using shapeless-3 anymore.