A compendium of well-typed code that still fails in horrible ways.