There is no way to derive higher-kinded typeclasses, like `Functor`

[propensive]

[lemastero]

Soon I could use support for HKT - that are even more crazy than Fun[F[_]]:

• Pro[P[-_,+_]], Bi[B[+_,+_]]
• Trif[T[+,_,+_,+_]], Zif[Z[-_,_,+_,+_]]
• Nat[_[_],_[_]], DiNat[_[_,_],_[_,_]]

Not sure if this is doable or intended to exists here. WDYT?

If no one is working on this issue maybe I should. Hints welcome.