The following diagram illustrates some common FP abstractions that can be represented with this library and the relationships between them.
Click on the abstraction name for a full description:
Some more abstractions here.