On Mon, Feb 11, 2013 at 11:30 AM, Ertugrul Söylemez <es@ertes.de> wrote:

The idea is this: If there are both Arrow and Applicative instances
(can you check this?), the arrow notation could use applicative
combinators instead of arrowic ones where possible:

I wonder if maybe this could be done with rewrite rules rather than on the syntax level?