[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