@unpublished{objects-typeclasses-gadts,
  title = "Objects to Unify Type Classes and GADTs",
  author = "Bruno C. d. S. Oliveira and Martin Sulzmann",
  year = "2008",
}