Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error