Re: [GHC] #9607: Programs that require AllowAmbiguousTypes in 7.8 (was: Type checking regression between GHC 7.6 and 7.8)