Re: [GHC] #4239: -ddump-minimal-imports vs. type operators