Re: [GHC] #11305: TC regression due introduced by visible type-application (was: TC Regression)