Re: [GHC] #1777: Refactor the implementation of arrow notation