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

[adam vogt]

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 <chrisdone at gmail.com> wrote:
> On 20 February 2015 at 20:12, adam vogt <vogt.adam at gmail.com> wrote:
>> I think this is a half-solution to the third option
>
> Because?