proposal #2517: remove 'pure' method from Arrow class

[Ross Paterson]

On Sat, Aug 16, 2008 at 01:06:29AM -0700, Ashley Yakeley wrote:
> David Menendez wrote:
>
>> Personally, I prefer 'pure' to 'arr' for arrows, and I wish we could
>> have called the operation in Applicative something different, but it's
>> too late for that.
>
> Hopefully one day the Applicative function will be called "return".

Certainly

	Functor (fmap)
	PreMonad (return)
	Applicative ((<*>))
	Monad ((>>=)/join)

would be the rational hierarchy, but don't hold your breath.