Re: [GHC] #11305: Type checker regression introduced by visible type-application