Introduction Dictionary passing Type classes as macros Intensional type analysis The pioneering work of Stefan Kaes Brief bibliography Canonical structures: (type-class) overloading resolution as logic programming Stretching Type Classes: Unusual applications and arguments about type classes in Haskell Introduction Computational abstractions -- higher-order functions, continuations, modules, proce