DeriveAnyClass support for higher-kinded classes + some more comments
#5462 (closed) was merged before a few final fixes were done. This ticket serves to record that. Left to address are:
DeriveAnyClass currently panics at higher-kinded classes (like
((* -> *) -> *) -> Constraint).
I'll fix this.