Re: [GHC] #8883: FlexibleContexts checking should happen also on inferred signature