Re: [GHC] #13594: Typechecker behavior w.r.t. BangPatterns and nested foralls has changed in 8.2