Proposal: reduce base from the top

Jeffrey Yasskin jyasskin at
Thu Apr 5 20:29:23 EDT 2007

On 4/5/07, Ashley Yakeley <ashley at> wrote:
> Agreed, and I think Foldable and Traversable too.

Anything that's Foldable or Traversable is kind of inherently a
collection, so I'd support putting them in the collections package. Or
do you know of potential instances that aren't collections?

> Also, Monad should one
> day be a subclass of Applicative, IMO:
> <>.

I agree, but not in this change. ;)

Jeffrey Yasskin

More information about the Libraries mailing list