Re: [Haskell-cafe] Proposal: Infix expression keyword: -XInfixExpressions

Because: 1. It's hard to write an ApplyAB instance 2. using AllowAmbiguousTypes means you can't partially apply the iI / iIwith without giving a type signature (which ghci is quite able to infer for you). When we get -XDysfunctionalDependencies (https://phabricator.haskell.org/D69) I think we'll be able to stop using AllowAmbiguousTypes. those might not be big problems, but the current solution (use an infix operator) is a much smaller problem for me. On Fri, Feb 20, 2015 at 2:25 PM, Christopher Done wrote:

On 20 February 2015 at 20:12, adam vogt wrote:

...

I think this is a half-solution to the third option

Because?