Re: [GHC] #15857: Need for better warnings arising from StarIsType extension