Re: [GHC] #9774: Type error messages containing calls to assert could be prettier.