Re: [GHC] #11458: Terrible failure of type inference in visible type application