Re: [GHC] #11974: `default` declaration doesn't allow higher-kinded types