@article{Hin06Gen,
  author = "Hinze, Ralf",
  journal = "J.~Functional Programming",
  month = "July \& September",
  number = "4 \& 5",
  pages = "451--483",
  title = "Generics for the masses",
  volume = "16",
  year = "2006",
}

