id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2392	Make Applicative a superclass of Monad	Ashley Yakeley		"Make Applicative (in Control.Applicative) a superclass of Monad (in Control.Monad). Rename members of Applicative and other functions, to avoid unnecessary duplication.
{{{
class Functor f => Applicative f where
  return :: a -> f a
  ap :: f (a -> b) -> f a -> f b

liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
liftA2 f a b = ap (fmap f a) b

(>>) :: (Applicative f) => f a -> f b -> f b
(>>) = liftA2 (const id)

-- etc.
}}}
{{{
class Applicative m => Monad m where
  (>>=) :: forall a b . m a -> (a -> m b) -> m b
  fail :: String -> m a
  fail s = error s
}}}"	proposal	closed	normal		libraries/base	6.8.3	wontfix			Unknown/Multiple	Unknown/Multiple		Unknown