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