| 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 |