Re: [GHC] #11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type Variables