Adding Applicative/Functor instances to all Monads in GHC

Edward A Kmett ekmett at
Thu May 16 16:39:29 CEST 2013


It is about time we finally ripped off this bandaid. 

I look forward to the day when I can shed half of the combinators I write in some libs.


On May 16, 2013, at 10:19 AM, David Luposchainsky <dluposchainsky at> wrote:

> On 2013-05-16 16:09, Bas van Dijk wrote:
>> Note that I already did this once as part of:
>> However, that never got merged.
> That's certainly going to be useful, although the patches may be hard to
> use due to their age now.
> I don't want to make this discussion about how useful/probable the new
> hierarchy proposal change would be, but now that there's a new Haskell
> Prime team, I thought it would be a good time to get unecessary
> obstacles out of the way before we even try. If adding Applicatives to
> GHC works out, we'll have to test how much of Hackage requires similar
> fixes, and when that is satisfyingly patched up, we can begin to think
> about retrying your proposal.
> David
> _______________________________________________
> Libraries mailing list
> Libraries at

More information about the Libraries mailing list