I have been programming Haskell for a while now, and keep running across strange terms from type theory, or category theory, or lambda calculus or whatever, ususally related to type-classes in the Haskell library. This page attempts to keep a glossary with simple explanations and examples for each type-class. I primarily use as my examples: Maybe, lists, and my Point3 vector type, as these are all fairly straightforward.

Haskell-related Glossary