Re: [GHC] #11364: Possible type-checker regression in GHC 8.0