Re: [GHC] #9821: DeriveAnyClass support for higher-kinded classes + some more comments