Re: [GHC] #5392: Warnings about impossible MPTCs would be nice