Proposal: Applicative => Monad: Call for consensus
dave at zednenem.com
Wed Jan 5 18:25:27 CET 2011
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.
> 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>
More information about the Libraries