Re: [GHC] #7935: Syntactic sugar for comonads