Re: [GHC] #8004: Applicative/Monad proposal related warnings (AMP phase 1)