Re: [GHC] #11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type Variables (was: GHC 8.0 behavior WRT scoped type variables changed)