Re: Proposal: Applicative => Monad: Call for consensus

On Wed, Jan 5, 2011 at 8:05 AM, Conor McBride wrote:

On 5 Jan 2011, at 12:31, Bas van Dijk wrote:

...

On Wed, Jan 5, 2011 at 1:14 PM, Conor McBride wrote:

...

cabal install she

I knew about her but not that she supported default superclass instances. Nice!

She didn't. But she does now.

How does she handle multiple subclasses? E.g., Functor can be defined in terms of Applicative (fmap = liftA) and in terms of Traversable (fmap = liftT). There are plenty of types which are both. -- Dave Menendez http://www.eyrie.org/~zednenem/