PROPOSAL: Make Applicative a superclass of Monad
ross at soi.city.ac.uk
Tue Jun 24 05:26:44 EDT 2008
On Tue, Jun 24, 2008 at 02:15:19AM -0700, Ashley Yakeley wrote:
> Make Applicative (in Control.Applicative) a superclass of Monad (in
> Control.Monad). Rename members of Applicative and other functions, to
> avoid unnecessary duplication.
The big problem with this is that it would break compatibility with
Haskell 98, and any existing program that defines a Monad instance.
More information about the Libraries