On Mon, Feb 11, 2013 at 11:30 AM, Ertugrul Söylemez <e...@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?
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
