Re: [GHC] #15380: Infinite typechecker loop in GHC 8.6