David Chambers

Good point, @bergus. We could preserve the headings at the bottom of the document to provide links to the new locations. For example: > ### Functor > > See [spec.md#functor](https://github.com/fantasyland/fantasy-land/blob/master/spec.md#functor)....

Several people raised concerns when I proposed this change in #160.

@joneshf was concerned about maintenance; perhaps he will chime in. Maintaining the graph in sanctuary-type-classes has not proven onerous. We have a [script][1] that automatically updates the readme as part...

I like this idea. It's important to be clear that an algebraic data type must implement the various methods rather than rely on a library such as sanctuary-type-classes to provide...

This sounds completely reasonable to me. I'll defer to those with better understandings. :) :warning: This is a breaking change, so will warrant incrementing the major version number if merged.

What's the status of this pull request, @gabejohnson?

The diagram in the readme indicates the dependencies that exist between algebra in the specification. Your diagram suggests we should add new dependencies to the specification. Please explain why this...

> Profunctor is super useful and I don't think it's specified, that's the only difference to the diagram that I can see. Actually, [Profunctor][] is specified. :tada: > Profunctor must...

I have updated this issue's title to reflect the change @Ne4to777 is proposing. @fantasyland/core, what do you think of the proposal?

Our specification of the Maybe type in #278 was too prescriptive. It required that every value of type `Maybe a` have `isJust :: Boolean`, and that all those values but...