Proposal: Applicative => Monad: Call for consensus

[David Menendez]

On Wed, Jan 5, 2011 at 8:05 AM, Conor McBride
<conor at strictlypositive.org> wrote:
>
> On 5 Jan 2011, at 12:31, Bas van Dijk wrote:
>
>> On Wed, Jan 5, 2011 at 1:14 PM, Conor McBride
>> <conor at strictlypositive.org> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>