id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4834	New Functor => Applicative => Monad Hierarchy	gidyn		"The standard class hierarchy is a consequence of Haskell's historical development, rather than logic. I would therefore like to propose a reform of the Functor, Applicative, and Monad type classes. The new hierarchy is logical, eliminates many duplicate names from the standard type class definitions, and removes the need for boilerplate Monad -> Applicative instance declarations.

The proposal is detailed in [http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal the wiki], along with an example of a legacy module to provide some backwards-compatibility. "	proposal	closed	normal	Not GHC	libraries/base	7.0.1	invalid		gideon@…	Unknown/Multiple	Unknown/Multiple	None/Unknown