Currently monoid for set is union monoid, we could use both.

Description

To bring it in-line with the other Crocks we need to add in descriptive documentation for the List crock with examples

Task List

• Add main List.md file to 'docs/src/pages/docs/crocks/' based on the others
• Ensure it has the correct 'weight'
• Locate all references to List and update it to link to the new List documentation. Reference the section

I expected Validated to have an ap method or something, but I can't seem to find it. The only docs I can see are https://github.com/aol/cyclops/wiki/Validator, which clearly isn't the current implementation, and I notice aol/cyclops#826 as another issue, but I don't see the proposed ap method.

Currently the empty of Monoid is specified as a nullary function rather than a plain value. Is there a plausible use case that benefits from empty being a function or requires it to be a function?

At the moment, I'm tempted to specify empty as a plain value in [a use case of monoid](https://github.com/calmm-js/p

Context:

In order to make fp-core.rs API more accessible, we'd like to refactor fp-exmaples folder and split fp-core examples and fp-jargon examples.

Filterable is pretty straightforward, but it's the only typeclass that's missing from the documentation. I would write the description for it, but the rest was written in Charles' words. So, it'd be good for consistency to have it written by Charles.