A | Applicative | |

B | Bisimulation | |

C | Closure | |

D | Distributive | |

E | Exception | |

F | Functor | |

G | Generic | |

H | Haskell | |

I | Isomorphism | |

J | Join | |

K | Kleisli | |

L | Lazy | |

M | Monad | |

N | Natural | |

O | Operator | |

P | Parallel | |

Q | Quotient | |

R | Recursive | |

S | Strict | |

T | Traversal | |

U | Unification | |

V | Version | |

W | Wrapped | |

X | XOR | |

Y | Yoneda | |

Z | Zoom |