11 Feb
2013
11 Feb
'13
2:20 p.m.
On Mon, Feb 11, 2013 at 11:30 AM, Ertugrul Söylemez
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?