[Proposal] Move most of Control.Monad to Control.Applicative

Achim Schneider barsoap at web.de
Fri Mar 20 19:03:52 EDT 2009

Conal Elliott <conal at conal.net> wrote:

> Exactly.  and <*>, liftA, liftA2, ...
I think it's safe to say that there's a general consensus that Functor
not being a superclass of Monad is a regrettable historical ward that
ought to be fixed... the problem with fixing it is that it opens up a
whole can of worms, only starting with whether or not Pointed should be
a class by itself: While the Proper Way might be to include all of
category-extras in the Prelude, the Proper Way might not at all be the
Right Way.

(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.

More information about the Haskell-prime mailing list